PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
Petr Peringer, Veronika Šoková, Tomáš Vojnar
Abstract
Abstract This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes PredatorHP’s participation in SV-COMP 2020, pointing out its strengths and weakness and the way they were influenced by the latest changes in the tool.
Topics & Concepts
Computer scienceCompetition (biology)Interval (graph theory)MathematicsBiologyCombinatoricsEcologyNeural Networks and ApplicationsFuzzy Logic and Control SystemsParallel Computing and Optimization Techniques