Supplying Compiler's Static CompatibilityChecks by the Analysis of Third-party Libraries

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Supplying Compiler's Static CompatibilityChecks by the Analysis of Third-party Libraries

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Supplying Compiler's Static CompatibilityChecks by the Analysis of Third-party Libraries

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 17th European Conference on Software maintenance and Reengineering

ISBN

978-0-7695-4948-4

ISSN

1534-5351

e-ISSN

—

Počet stran výsledku

4

Strana od-do

375-378

Název nakladatele

IEEE

Místo vydání

Los Alamitos

Místo konání akce

Genova, Italy

Datum konání akce

5. 3. 2013

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—