论文信息 - PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

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.

Tomás Vojnar | Veronika Soková | Petr Peringer

[1] Tomás Vojnar,et al. Predator Hunting Party (Competition Contribution) , 2015, TACAS.

[2] Tomás Vojnar,et al. An Easy to Use Infrastructure for Building Static Analysis Tools , 2011, EUROCAST.

[3] Tomás Vojnar,et al. Byte-Precise Verification of Low-Level List Manipulation , 2013, SAS.