Detail publikace

An Easy to Use Infrastructure for Building Static Analysis Tools

DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 527-534. ISSN 0302-9743. Dostupné z: http://www.springerlink.com/content/750240l1tk386572/
Název česky
Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu
Typ
článek v časopise
Jazyk
angličtina
Autoři
Dudka Kamil, Ing. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova

gcc, plug-in, Code Listener, static analysis

Abstrakt

Práce se zabývá návrhem a implementací snadno použitelné infrastruktury pro výstavbu nástrojů na statickou analýzu. Tato infrastruktura poskytuje abstrakční vrstvu, nazvanou Code Listener, nad existujícími překladači zdrojového kódu, jako např. GCC nebo Sparse. Infrastruktura je distribuována jako C++ knihovna, která může být použita pro vytváření nástrojů na statickou analýzu ve formě GCC zásuvných modulů. Rozhraní, které je vystaveno nástrojům na statickou analýzu, je však zcela nezávislé na GCC, což umožňuje portovat tyto nástroje na jiné překladače zdrojového kódu bez toho, že by bylo potřeba cokoliv měnit v nástrojích samotných. V práci popisujeme klíčové prvky návrhu infrastruktury a stručně uvádíme rozhraní pro programování nástrojů na statickou analýzu. Infrastruktura je aktuálně používána výzkumnými prototypy Predator a Forester, které implementují pokročilé analýzy tvaru datových struktur, a které mají za cíl pracovat nad reálným průmyslovým kódem.

Rok
2012
Strany
527-534
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 6927, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX
@ARTICLE{FITPUB9619,
   author = "Kamil Dudka and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "An Easy to Use Infrastructure for Building Static Analysis Tools",
   pages = "527--534",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 6927,
   year = 2012,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9619"
}
Nahoru