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
Müller Petr, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
10.1007/978-3-642-54862-8_28
EID Scopus
2-s2.0-84900537327
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