About: An Easy to Use Infrastructure for Building Static Analysis Tools

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: An Easy to Use Infrastructure for Building Static Analysis Tools Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.fit.vutbr.cz/research/prod/index.php?id=150
Description	Our goal is to wrap the interfaces of existing code parsers and provide a unified and well-documented, object-oriented API (Application Programming Interface). The key advantage of our solution is that we allow building of analysers capable of handling everything that gcc is able to compile. Additionally, there is no need to pre-process the sources, neither to change the way the sources are being built. Hence, we make it easy to, e.g., run an analysis on a Linux kernel module or an autotools-based project, etc. Our infrastructure is implemented as a C++ library that can be used to build an analyser as a gcc plug-in (using the native gcc plug-in interface). Our goal is to wrap the interfaces of existing code parsers and provide a unified and well-documented, object-oriented API (Application Programming Interface). The key advantage of our solution is that we allow building of analysers capable of handling everything that gcc is able to compile. Additionally, there is no need to pre-process the sources, neither to change the way the sources are being built. Hence, we make it easy to, e.g., run an analysis on a Linux kernel module or an autotools-based project, etc. Our infrastructure is implemented as a C++ library that can be used to build an analyser as a gcc plug-in (using the native gcc plug-in interface). (en)
Title	An Easy to Use Infrastructure for Building Static Analysis Tools An Easy to Use Infrastructure for Building Static Analysis Tools (en)
skos:prefLabel	An Easy to Use Infrastructure for Building Static Analysis Tools An Easy to Use Infrastructure for Building Static Analysis Tools (en)
skos:notation	RIV/00216305:26230/10:PR24994!RIV12-GA0-26230___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(GAP103/10/0306), P(OC10009), S, Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Peringer, Petr Dudka, Kamil Vojnar, Tomáš
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...onomickeParametry	Software je dostupný pod licencí GPL.
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	246182
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/10:PR24994
http://linked.open...terniIdentifikace	code-listener
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	gcc, plug-in, static analysis, program verification, C (en)
http://linked.open.../riv/klicoveSlovo	gcc plug-in static analysis C program verification
http://linked.open...ontrolniKodProRIV	[DA7EB5CE6CF7]
http://linked.open.../licencniPoplatek	N - Poskytovatel licence na výsledek nepožaduje licenční poplatek
http://linked.open...okalizaceVysledku	http://www.fit.vutbr.cz/research/prod/index.php?id=150 - http://www.fit.vutbr.cz/research/groups/verifit/tools/code-listener
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit
http://linked.open...UplatneniVysledku	2010
http://linked.open...echnickeParametry	Software je šířen pod GPL licencí. Její znění je na http://www.gnu.org/licenses/gpl-3.0.txt.
http://linked.open...iv/tvurceVysledku	Dudka, Kamil Peringer, Petr Vojnar, Tomáš
http://linked.open...avai/riv/vlastnik	Vysoké učení technické v Brně
http://linked.open...itiJinymSubjektem	A - Nabytí licence je nutné vždy
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	An Easy to Use Infrastructure for Building Static Analysis Tools An Easy to Use Infrastructure for Building Static Analysis Tools

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software