Detail publikace

PredatorHP Attacks Interval-Sized Regions

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

Originální název

PredatorHP Attacks Interval-Sized Regions

Anglický název

PredatorHP Attacks Interval-Sized Regions

Jazyk

en

Originální abstrakt

This paper describes shortly the basic principles of the PredatorHP (Predator Hunting Party) shape analyzer and presents its recent improvements. One of the most visible changes is the way PredatorHP handles interval-sized memory regions, which is particularly useful for dealing with arrays whose size is not fixed in advance. Further, the paper characterizes PredatorHP's participation in SV-COMP 2019, pointing out its strengths and weakness and the way they were influenced by the latest changes in the tool.

Anglický abstrakt

This paper describes shortly the basic principles of the PredatorHP (Predator Hunting Party) shape analyzer and presents its recent improvements. One of the most visible changes is the way PredatorHP handles interval-sized memory regions, which is particularly useful for dealing with arrays whose size is not fixed in advance. Further, the paper characterizes PredatorHP's participation in SV-COMP 2019, pointing out its strengths and weakness and the way they were influenced by the latest changes in the tool.

Dokumenty

BibTex


@techreport{BUT161943,
  author="Michal {Kotoun} and Petr {Peringer} and Veronika {Šoková} and Tomáš {Vojnar}",
  title="PredatorHP Attacks Interval-Sized Regions",
  annote="This paper describes shortly the basic principles of the PredatorHP (Predator
Hunting Party) shape analyzer and presents its recent improvements. One of the
most visible changes is the way PredatorHP handles interval-sized memory regions,
which is particularly useful for dealing with arrays whose size is not fixed in
advance. Further, the paper characterizes PredatorHP's participation in SV-COMP
2019, pointing out its strengths and weakness and the way they were influenced by
the latest changes in the tool.",
  address="NEUVEDEN",
  chapter="161943",
  edition="NEUVEDEN",
  howpublished="online",
  institution="NEUVEDEN",
  year="2019",
  month="september",
  pages="1--4",
  publisher="NEUVEDEN",
  type="report"
}