Detail publikace

PredatorHP Attacks Interval-Sized Regions

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

Originální název

PredatorHP Attacks Interval-Sized Regions

Typ

zpráva odborná

Jazyk

angličtina

Originální abstrakt

This paper describes shortly the basic principles of the PredatorHP (PredatorHunting Party) shape analyzer and presents its recent improvements. One of themost visible changes is the way PredatorHP handles interval-sized memoryregions, which is particularly useful for dealing with arrays whose size is notfixed in advance. Further, the paper characterizes PredatorHP's participationin SV-COMP 2019, pointing out its strengths and weakness and the way they wereinfluenced by the latest changes in the tool.

Autoři

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

Vydáno

17. 9. 2019

Místo

Ithaca

Strany od

1

Strany do

4

Strany počet

4

URL

https://arxiv.org/abs/1909.07152

BibTex

@techreport{BUT161943,
  author="Michal {Kotoun} and Petr {Peringer} and Veronika {Šoková} and Tomáš {Vojnar}",
  title="PredatorHP Attacks Interval-Sized Regions",
  year="2019",
  address="Ithaca",
  pages="1--4",
  url="https://arxiv.org/abs/1909.07152"
}