Detail publikace

Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)

DUDKA, K.; PERINGER, P.; VOJNAR, T. Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014. p. 412-414. ISBN: 978-3-642-54861-1.
Název česky
Predator: analyzátor tvaru založený na symbolických grafech paměti (soutěžní příspěvek)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dudka Kamil, Ing.
Peringer Petr, Dr. Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

dynamic linked data structures separation logic symbolic memory graphs list manipulation low-level memory manipulation memory safety shape analysis

Abstrakt

Predator je analyzátor tvaru datových struktur, který jako abstraktní doménu používá symbolické grafy paměti.  Díky tomu podporuje různé formy nízkoúrovňové manipulace paměti, které se běžně používají v optimalizovaných C programech. Tato publikace stručně popisuje přístup k verifikaci software, který používá Predator, a jeho silné a slabé stránky, které byly odhaleny během jeho účasti v Software Verification Competition (SV-COMP14).

Rok
2014
Strany
412–414
Sborník
Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science
Svazek
8413
ISBN
978-3-642-54861-1
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-642-54862-8_33
EID Scopus
2-s2.0-84900537246
BibTeX 
@inproceedings{BUT111526,
  author="Kamil {Dudka} and Petr {Peringer} and Tomáš {Vojnar}",
  title="Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)",
  booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
  year="2014",
  series="Lecture Notes in Computer Science",
  volume="8413",
  pages="412--414",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-642-54862-8\{_}33",
  isbn="978-3-642-54861-1",
  url="http://link.springer.com/chapter/10.1007/978-3-642-54862-8_33"
}
Nahoru