Detail publikačního výsledku

An Easy to Use Infrastructure for Building Static Analysis Tools

DUDKA, K.; PERINGER, P.; VOJNAR, T.

Originální název

An Easy to Use Infrastructure for Building Static Analysis Tools

Anglický název

An Easy to Use Infrastructure for Building Static Analysis Tools

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

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. It is 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 research prototypes Predator and Forester, implementing advanced shape analyses, intended to operate on real industrial code.

Anglický abstrakt

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. It is 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 research prototypes Predator and Forester, implementing advanced shape analyses, intended to operate on real industrial code.

Klíčová slova

gcc, plug-in, Code Listener, static analysis

Klíčová slova v angličtině

gcc, plug-in, Code Listener, static analysis

Autoři

DUDKA, K.; PERINGER, P.; VOJNAR, T.

Rok RIV

2013

Vydáno

20.01.2012

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Svazek

2012

Číslo

6927

Stát

Spolková republika Německo

Strany od

527

Strany do

534

Strany počet

8

URL

http://www.springerlink.com/content/750240l1tk386572/

BibTex

@article{BUT91439,
  author="Kamil {Dudka} and Petr {Peringer} and Tomáš {Vojnar}",
  title="An Easy to Use Infrastructure for Building Static Analysis Tools",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="6927",
  pages="527--534",
  issn="0302-9743",
  url="http://www.springerlink.com/content/750240l1tk386572/"
}