Detail publikace

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

DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. 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, roč. 8413. Heidelberg: Springer Verlag, 2014, s. 412-414. ISBN 978-3-642-54861-1. Dostupné z: http://link.springer.com/chapter/10.1007/978-3-642-54862-8_33
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
angličtina
Autoři
Dudka Kamil, Ing. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
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
BibTeX
@INPROCEEDINGS{FITPUB10518,
   author = "Kamil Dudka and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)",
   pages = "412--414",
   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",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10518"
}
Nahoru