2013 17th European Conference on Software Maintenance and Reengineering (2013)
Genova, Italy Italy
Mar. 5, 2013 to Mar. 8, 2013
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.53
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.
Analysis, Type Compatibility, Static Verification, Byte-Code
K. Jeek, L. Holy and P. Brada, "Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries," 2013 17th European Conference on Software Maintenance and Reengineering(CSMR), Genova, Italy Italy, 2013, pp. 375-378.