Publication Details

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)

KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In: Proceedings of TACAS 2016. Lecture Notes in Computer Science, vol. 9636. Heidelberg: Springer Verlag, 2016, pp. 942-945. ISBN 978-3-662-49673-2. Available from: http://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_66
Czech title
Optimalizovaný PredatorHP a SV-COMP (příspěvek do soutěže)
Type
conference paper
Language
english
Authors
Kotoun Michal, Ing. (FIT BUT)
Peringer Petr, Dr. Ing. (DITS FIT BUT)
Šoková Veronika, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords

formal verification, program analysis, shape analysis, symbolic memory graphs, bug hunting, memory safety, software verification competition

Abstract

This paper describes shortly the PredatorHP (Predator Hunting Party) analyzer and its participation in the SV-COMP 2016 software verification competition. The paper starts by a brief sketch of the Predator shape analyzer on which PredatorHP is built, using multiple, concurrently running, specialised instances of Predator. The paper explains why the concrete mix of the different Predators was used, based on some characteristics of the SV-COMP  benchmark.

Published
2016
Pages
942-945
Proceedings
Proceedings of TACAS 2016
Series
Lecture Notes in Computer Science
Volume
9636
Conference
European Joint Conferences on Theory and Practice of Software -- ETAPS'16 (TACAS'16), Eindhoven, NL
ISBN
978-3-662-49673-2
Publisher
Springer Verlag
Place
Heidelberg, DE
DOI
UT WoS
000406428000066
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11153,
   author = "Michal Kotoun and Petr Peringer and Veronika \v{S}okov\'{a} and Tom\'{a}\v{s} Vojnar",
   title = "Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)",
   pages = "942--945",
   booktitle = "Proceedings of TACAS 2016",
   series = "Lecture Notes in Computer Science",
   volume = 9636,
   year = 2016,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-49673-2",
   doi = "10.1007/978-3-662-49674-9\_66",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11153"
}
Back to top