This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2013 17th European Conference on Software Maintenance and Reengineering
Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries
Genova, Italy Italy
March 05-March 08
ISBN: 978-1-4673-5833-0
Statically typed languages and their compile time checks prevent a lot of runtime errors thanks to type mismatches detection, namely calls of incompatible methods. Since current applications typically include tens of already compiled third-party libraries, the compile checks are powerless to detect their mutual dependencies. However, the calls among third-party library methods are not less error prone due to bugs or wrong library usage. These all lead to runtime failures. In this paper, we describe a partial solution to this problem based on the static analysis of third-party libraries and verification of their dependencies. This verification is invoked as the application is compiled and assembled, essentially supplying the compiler detecting errors before the application runs. This approach promises improved error detection of complex applications on the static type checking level.
Index Terms:
Analysis,Type Compatibility,Static Verification,Byte-Code
Citation:
Kamil Jeek, Lukas Holy, Premek Brada, "Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries," csmr, pp.375-378, 2013 17th European Conference on Software Maintenance and Reengineering, 2013
Usage of this product signifies your acceptance of the Terms of Use.