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)

Anglický název

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

Jazyk

en

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.

Anglický 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.

Plný text v Digitální knihovně

Dokumenty

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)",
  annote="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.",
  address="Springer International Publishing",
  booktitle="Proceedings of TACAS 2020 (2)",
  chapter="162536",
  doi="10.1007/978-3-030-45237-7_30",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer International Publishing",
  year="2020",
  month="february",
  pages="408--412",
  publisher="Springer International Publishing",
  type="conference paper"
}