Supplying Compiler's Static CompatibilityChecks by the Analysis of Third-party Libraries
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F13%3A43918305" target="_blank" >RIV/49777513:23520/13:43918305 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/CSMR.2013.53" target="_blank" >http://dx.doi.org/10.1109/CSMR.2013.53</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/CSMR.2013.53" target="_blank" >10.1109/CSMR.2013.53</a>
Alternative languages
Result language
angličtina
Original language name
Supplying Compiler's Static CompatibilityChecks by the Analysis of Third-party Libraries
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 17th European Conference on Software maintenance and Reengineering
ISBN
978-0-7695-4948-4
ISSN
1534-5351
e-ISSN
—
Number of pages
4
Pages from-to
375-378
Publisher name
IEEE
Place of publication
Los Alamitos
Event location
Genova, Italy
Event date
Mar 5, 2013
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—