An Easy to Use Infrastructure for Building Static Analysis Tools

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F11%3APU96200" target="_blank" >RIV/00216305:26230/11:PU96200 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

An Easy to Use Infrastructure for Building Static Analysis Tools

Popis výsledku v původním jazyce

This paper deals with design and implementation of an easy to use infrastructure for building static analyzers. The infrastructure provides an abstraction layer called a Code Listener over existing source code parsers like, for example, GCC or Sparse. Itis distributed as a C++ library that can be used to build static analyzers in the form of GCC plug-ins. The interface exposed to analyzers is, however, completely independent of GCC, which allows one to run the same analyzer on top of different code parsers without a need to change anything in the analyzer. We describe the key design principles of the infrastructure and briefly introduce its application programming interface that is available to analyzers. The infrastructure is already used in researchprototypes Predator and Forester, implementing advanced shape analyses, intended to operate on real industrial code.

Název v anglickém jazyce

An Easy to Use Infrastructure for Building Static Analysis Tools

Popis výsledku anglicky

This paper deals with design and implementation of an easy to use infrastructure for building static analyzers. The infrastructure provides an abstraction layer called a Code Listener over existing source code parsers like, for example, GCC or Sparse. Itis distributed as a C++ library that can be used to build static analyzers in the form of GCC plug-ins. The interface exposed to analyzers is, however, completely independent of GCC, which allows one to run the same analyzer on top of different code parsers without a need to change anything in the analyzer. We describe the key design principles of the infrastructure and briefly introduce its application programming interface that is available to analyzers. The infrastructure is already used in researchprototypes Predator and Forester, implementing advanced shape analyses, intended to operate on real industrial code.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

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)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2011

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 13th International Conference on Computer Aided Systems Theory

ISBN

978-84-693-9560-8

ISSN

—

e-ISSN

—

Počet stran výsledku

2

Strana od-do

328-329

Název nakladatele

The Universidad de Las Palmas de Gran Canaria

Místo vydání

Universidad de Las Palmas de Canaria

Místo konání akce

Las Palmas de Gran Canaria, Canary Islands

Datum konání akce

6. 2. 2011

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

EUR - Evropská akce

Kód UT WoS článku

—