Journal article

DUDKA, K., PERINGER, P. and VOJNAR, T.. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science. 2012, vol. 2012, no. 6927, pp. 527-534. ISSN 0302-9743. Available from: http://www.springerlink.com/content/750240l1tk386572/
Publication language:english
Original title:An Easy to Use Infrastructure for Building Static Analysis Tools
Title (cs):Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu
Pages:527-534
Place:DE
Year:2012
URL:http://www.springerlink.com/content/750240l1tk386572/
Journal:Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE
ISSN:0302-9743
Keywords
gcc, plug-in, Code Listener, static analysis
Annotation
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.
BibTeX:
@ARTICLE{
   author = {Kamil Dudka and Petr Peringer and Tomáš 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 = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=9619}
}

Your IPv4 address: 54.167.171.186
Switch to IPv6 connection

DNSSEC [dnssec]