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

http://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_66

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

10.1007/978-3-662-49674-9_66

UT WoS

000406428000066

EID Scopus

2-s2.0-84964056792

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"
}