Predator Hunting Party 2019

 

PredatorHP is a version of Predator tool adapted for participation in SV-COMP 2019.

Paper draft: predator-svcomp-2019.pdf.

Main changes: improvement of interval based memory access analysis, implementation of leak detection for exit()/abort() needed for new memcleanup category, updated scripts (polling interval shortened from 1s to 0.25s), bugfix: implementation of CLOBBER instruction to detect access to out-of scope automatic variables, ...

Installation

A binary version of PredatorHP for Ubuntu 18.04 can be downloaded from link: predator-hp-svcomp2019-binary.zip .
It was compiled from source at 2018-11-15 using old gcc-5 --version : "gcc-5 (Ubuntu 5.5.0-12ubuntu1) 5.5.0 20171010".
Warning: Binary Predator does not work with different versions of gcc (and predatorHP.py always returns "unknown" in this case)

Source code (git repository) of PredatorHP can be downloaded from link predator-hp-svcomp2019.tar.gz, please see the "README-SVCOMP-2019" file for installation instructions.

PredatorHP Team

• Tomas Vojnar
• Kamil Dudka
• Petr Peringer
• Veronika Šoková
• Michal Kotoun

Archive Links

• Link to Predator Hunting Party 2015
• Link to Predator Hunting Party 2016
• Link to Predator Hunting Party 2017
• Link to Predator Hunting Party 2018

Acknowledgement

This work was supported by the Czech Science Foundation (project 17-12465S), the IT4IXS: IT4Innovations Excellence in Science project LQ1602, and the internal Brno University of Technology project FIT-S-17-4014.

Last modification: 16. January 2019