Publication Details

PredatorHP Attacks Interval-Sized Regions

KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. PredatorHP Attacks Interval-Sized Regions. Ithaca, 2019. Available from: https://arxiv.org/abs/1909.07152
Type
technical report
Language
english
Authors
Kotoun Michal, Ing. (FIT BUT)
Peringer Petr, Dr. Ing. (DITS FIT BUT)
Šoková Veronika, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
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.

Published
2019
Pages
1-4
Place
Ithaca, US
BibTeX 
@TECHREPORT{FITPUB12074,
   author = "Michal Kotoun and Petr Peringer and Veronika \v{S}okov\'{a} and Tom\'{a}\v{s} Vojnar",
   title = "PredatorHP Attacks Interval-Sized Regions",
   pages = "1--4",
   year = 2019,
   location = "Ithaca, US",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12074"
}
Back to top