  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.
