Fakulta informačních technologií VUT v Brně

Detail publikace

CPAlien: Shape Analyzer for CPAChecker (Competition Contribution)

MÜLLER Petr a VOJNAR Tomáš. CPAlien: Shape Analyzer for CPAChecker (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 8413. Heidelberg: Springer Verlag, 2014, s. 395-397. ISBN 978-3-642-54861-1. Dostupné z: http://link.springer.com/chapter/10.1007/978-3-642-54862-8_28
Název česky
CPAlien: Analyzátor tvaru pro framework CPAChecker
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt
CPAlien je instance frameworku konfigurovatelné analýzy programů. Používá rozšířenou abstraktní doménu symbolických grafů paměti k analýze tvarů pro programy pracující s dynamicky alokovanou pamětí. Rozšíření abstraktní domény symbolických grafů paměti spočívá v použití jednoduché analýzy celočíselných hodnot, což umožňuje zvládnutí programů pracujících zároveň s ukazateli a s celočíselnými daty. V současnosti je CPAlien ve stavu prototypu, jako základ pro další výzkum v dané oblasti. Verze pro SV-COMP'14 neobsahuje žádné abstrakce tvaru, ale přesto je uspokojivě výkonná pro účast v několika soutěžních kategoriích.
Rok
2014
Strany
395-397
Sborník
Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science
Svazek
8413
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'14 (TACAS'14), Grenoble, FR
ISBN
978-3-642-54861-1
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB10519,
   author = "Petr M\"{u}ller and Tom\'{a}\v{s} Vojnar",
   title = "CPAlien: Shape Analyzer for CPAChecker (Competition Contribution)",
   pages = "395--397",
   booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
   series = "Lecture Notes in Computer Science",
   volume = 8413,
   year = 2014,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-54861-1",
   doi = "10.1007/978-3-642-54862-8\_28",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10519"
}
Nahoru