Přístupnostní navigace
E-application
Search Search Close
Publication detail
KOTOUN, M. PERINGER, P. ŠOKOVÁ, V. VOJNAR, T.
Original Title
PredatorHP Attacks Interval-Sized Regions
Type
report
Language
English
Original Abstract
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.
Authors
KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.
Released
17. 9. 2019
Location
Ithaca
Pages from
1
Pages to
4
Pages count
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" }