Publication Details

An Easy to Use Infrastructure for Building Static Analysis Tools

DUDKA Kamil, PERINGER Petr and VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 328-329. ISBN 978-84-693-9560-8.
Czech title
Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu
Type
conference paper
Language
english
Authors
Dudka Kamil, Ing. (DITS FIT BUT)
Peringer Petr, Dr. Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords

gcc, plug-in, Code Listener, static analysis

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.

Published
2011
Pages
328-329
Proceedings
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Conference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Universidad de Las Palmas de Canaria, ES
BibTeX 
@INPROCEEDINGS{FITPUB9822,
   author = "Kamil Dudka and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "An Easy to Use Infrastructure for Building Static Analysis Tools",
   pages = "328--329",
   booktitle = "Proceedings of the 13th International Conference on Computer Aided Systems Theory",
   year = 2011,
   location = "Universidad de Las Palmas de Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-693-9560-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9822"
}
Back to top