Publication Details

Predator Hunting Party (Competition Contribution)

MÜLLER Petr, PERINGER Petr and VOJNAR Tomáš. Predator Hunting Party (Competition Contribution). In: Proceedings of TACAS'15. Lecture Notes in Computer Science, vol. 9035. Heidelberg: Springer Verlag, 2015, pp. 443-446. ISBN 978-3-662-46680-3. Available from: http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_40
Czech title
Lovecká párty Predátorů (soutěžní příspěvek)
Type
conference paper
Language
english
Authors
URL
Keywords

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

Abstract

This paper introduces PredatorHP (Predator Hunting Party), a program verifier built on top of the Predator shape analyser, and discusses its participation in the SV-COMP'15 software verification competition. Predator is a sound shape analyser dealing with C programs with lists implemented via low-level pointer operations. PredatorHP uses Predator to prove programs safe while at the same time using several bounded versions of Predator for bug hunting.

Published
2015
Pages
443-446
Proceedings
Proceedings of TACAS'15
Series
Lecture Notes in Computer Science
Volume
9035
Conference
European Joint Conferences on Theory and Practice of Software -- ETAPS'15 (TACAS'15), London, GB
ISBN
978-3-662-46680-3
Publisher
Springer Verlag
Place
Heidelberg, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB10920,
   author = "Petr M\"{u}ller and Petr Peringer and Tom\'{a}\v{s} Vojnar",
   title = "Predator Hunting Party (Competition Contribution)",
   pages = "443--446",
   booktitle = "Proceedings of TACAS'15",
   series = "Lecture Notes in Computer Science",
   volume = 9035,
   year = 2015,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-46680-3",
   doi = "10.1007/978-3-662-46681-0\_40",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10920"
}
Back to top