Článek ve sborníku konference

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. 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
Jazyk publikace:angličtina
Název publikace:Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)
Název (cs):Predator: analyzátor tvaru založený na symbolických grafech paměti (soutěžní příspěvek)
Strany:412-414
Sborník:Tools and Algorithms for the Construction and Analysis of Systems
Konference:European Joint Conferences on Theory and Practice of Software -- ETAPS'14 (TACAS'14)
Řada knih:LNCS 8413
Místo vydání:Heidelberg, DE
Rok:2014
URL:http://link.springer.com/chapter/10.1007/978-3-642-54862-8_33
ISBN:978-3-642-54861-1
Vydavatel:Springer Verlag
Klíčová slova
dynamic linked data structures
separation logic
symbolic memory graphs
list manipulation
low-level memory manipulation
memory safety
shape analysis
Anotace
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).
BibTeX:
@INPROCEEDINGS{
   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 = {LNCS 8413},
   year = 2014,
   location = {Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-54861-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=10518}
}

Vaše IPv4 adresa: 3.83.192.109
Přepnout na https