Publication Details

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

ŠOKOVÁ, V.; PERINGER, P.; VOJNAR, T. PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). In Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020. p. 408-412. ISBN: 978-3-030-45236-0.
Czech title
PredatorHP vylepšen (nejen) v práci s intervalově zadanou velikostí paměti a realokaci paměti (příspěvek do soutěže)
Type
conference paper
Language
English
Authors
Šoková Veronika, Ing. (DITS)
Peringer Petr, Dr. Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Keywords

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

Abstract

This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes PredatorHP's participation in SV-COMP 2020, pointing out its strengths and weakness and the way they were influenced by the latest changes in the tool.

Published
2020
Pages
408–412
Proceedings
Proceedings of TACAS 2020 (2)
Series
Lecture Notes in Computer Science
Volume
12079
ISBN
978-3-030-45236-0
Publisher
Springer International Publishing
Place
Cham
DOI
10.1007/978-3-030-45237-7_30
EID Scopus
2-s2.0-85083986387
BibTeX 
@inproceedings{BUT162536,
  author="Veronika {Šoková} and Petr {Peringer} and Tomáš {Vojnar}",
  title="PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)",
  booktitle="Proceedings of TACAS 2020 (2)",
  year="2020",
  series="Lecture Notes in Computer Science",
  volume="12079",
  pages="408--412",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-030-45237-7\{_}30",
  isbn="978-3-030-45236-0",
  url="https://www.fit.vut.cz/research/publication/12198/"
}
Files
Back to top