Publication detail

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

ŠOKOVÁ, V. PERINGER, P. VOJNAR, T.

Original Title

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

Type

conference paper

Language

English

Original 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.

Keywords

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

Authors

ŠOKOVÁ, V.; PERINGER, P.; VOJNAR, T.

Released

26. 2. 2020

Publisher

Springer International Publishing

Location

Cham

ISBN

978-3-030-45236-0

Book

Proceedings of TACAS 2020 (2)

Edition

Lecture Notes in Computer Science

Pages from

408

Pages to

412

Pages count

5

URL

https://www.fit.vut.cz/research/publication/12198/

Full text in the Digital Library

http://hdl.handle.net/11012/195258

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