Detail publikace

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

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

Originální název

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Vydáno

26. 2. 2020

Nakladatel

Springer International Publishing

Místo

Cham

ISBN

978-3-030-45236-0

Kniha

Proceedings of TACAS 2020 (2)

Edice

Lecture Notes in Computer Science

Strany od

408

Strany do

412

Strany počet

5

URL

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

Plný text v Digitální knihovně

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

Dokumenty

Peringer2020_Chapter_PredatorHPRevampedNotOnlyForIn.pdf