Publication detail

An Easy to Use Infrastructure for Building Static Analysis Tools

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

Original Title

An Easy to Use Infrastructure for Building Static Analysis Tools

Type

journal article - other

Language

English

Original Abstract

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.

Keywords

gcc, plug-in, Code Listener, static analysis

Authors

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

RIV year

2012

Released

20. 1. 2012

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Year of study

2012

Number

6927

State

Federal Republic of Germany

Pages from

527

Pages to

534

Pages count

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/"
}