This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n10http://localhost/temp/predkladatel/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n11http://linked.opendata.cz/resource/domain/vavai/projekt/
n20http://linked.opendata.cz/resource/domain/vavai/subjekt/
n18http://linked.opendata.cz/ontology/domain/vavai/
n9http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F12%3APU98147%21RIV13-GA0-26230___/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n17http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F12%3APU98147%21RIV13-GA0-26230___
rdf:type
skos:Concept n18:Vysledek
rdfs:seeAlso
http://www.springerlink.com/content/750240l1tk386572/
dcterms:description
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. 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.
dcterms:title
An Easy to Use Infrastructure for Building Static Analysis Tools An Easy to Use Infrastructure for Building Static Analysis Tools
skos:prefLabel
An Easy to Use Infrastructure for Building Static Analysis Tools An Easy to Use Infrastructure for Building Static Analysis Tools
skos:notation
RIV/00216305:26230/12:PU98147!RIV13-GA0-26230___
n18:predkladatel
n20:orjk%3A26230
n3:aktivita
n15:S n15:P n15:Z
n3:aktivity
P(GAP103/10/0306), P(OC10009), S, Z(MSM0021630528)
n3:cisloPeriodika
6927
n3:dodaniDat
n17:2013
n3:domaciTvurceVysledku
n12:9169210 n12:9596054 n12:9761985
n3:druhVysledku
n13:J
n3:duvernostUdaju
n21:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
121921
n3:idVysledku
RIV/00216305:26230/12:PU98147
n3:jazykVysledku
n8:eng
n3:klicovaSlova
gcc, plug-in, Code Listener, static analysis
n3:klicoveSlovo
n5:plug-in n5:Code%20Listener n5:gcc n5:static%20analysis
n3:kodStatuVydavatele
DE - Spolková republika Německo
n3:kontrolniKodProRIV
[46E85707062F]
n3:nazevZdroje
Lecture Notes in Computer Science
n3:obor
n14:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
3
n3:projekt
n11:OC10009 n11:GAP103%2F10%2F0306
n3:rokUplatneniVysledku
n17:2012
n3:svazekPeriodika
2012
n3:tvurceVysledku
Vojnar, Tomáš Peringer, Petr Dudka, Kamil
n3:zamer
n9:MSM0021630528
s:issn
0302-9743
s:numberOfPages
8
n10:organizacniJednotka
26230