PredatorHP Attacks Interval-Sized Regions
Michal Kotoun, Petr Peringer, Veronika \v{S}okov\'a and, Tom\'a\v{s} Vojnar
TL;DR
This paper discusses improvements to PredatorHP, a shape analyzer, focusing on its handling of interval-sized memory regions and its performance in SV-COMP 2019, highlighting strengths and weaknesses.
Contribution
It introduces recent enhancements to PredatorHP for analyzing interval-sized memory regions and evaluates its performance in SV-COMP 2019.
Findings
Enhanced handling of interval-sized memory regions.
Performance analysis in SV-COMP 2019.
Identification of strengths and weaknesses.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Advanced Malware Detection Techniques · Network Security and Intrusion Detection