Conference paper

DUDKA Kamil, PERINGER Petr and 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, pp. 412-414. ISBN 978-3-642-54861-1. Available from: http://link.springer.com/chapter/10.1007/978-3-642-54862-8_33
Publication language:english
Original title:Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution)
Title (cs):Predator: analyzátor tvaru založený na symbolických grafech paměti (soutěžní příspěvek)
Pages:412-414
Proceedings:Tools and Algorithms for the Construction and Analysis of Systems
Conference:European Joint Conferences on Theory and Practice of Software -- ETAPS'14 (TACAS'14)
Series:LNCS 8413
Place:Heidelberg, DE
Year:2014
URL:http://link.springer.com/chapter/10.1007/978-3-642-54862-8_33
ISBN:978-3-642-54861-1
Publisher:Springer Verlag
Keywords
dynamic linked data structures
separation logic
symbolic memory graphs
list manipulation
low-level memory manipulation
memory safety
shape analysis
Annotation
Predator is a shape analyzer that uses the abstract domain of symbolic memory graphs in order to support various forms of low-level memory manipulation commonly used in optimized C code. This paper briefly describes the verification approach taken by Predator and its strengths and weaknesses revealed during its participation in the 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?id=10518}
}

Your IPv4 address: 54.80.132.10
Switch to IPv6 connection

DNSSEC [dnssec]