Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415

Czech title

Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415

Type

software

License

required - free

Authors

Kinšt Ondřej, Bc. (FIT BUT)
Kotoun Michal, Ing. (FIT BUT)
Müller Petr, Ing. (DITS FIT BUT)
Peringer Petr, Dr. Ing. (DITS FIT BUT)
Šoková Veronika, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)

Keywords

formal verification, program analysis, shape analysis, bug hunting, memory safety

Description

Predator Hunting Party (PredatorHP) is a Python script designed for verifying and bug hunting C programs, with a focus on memory safety and assertion detection. The script utilizes multiple concurrently-running Predator analyzers with different configurations.

Location

https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/

Licence

Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Projects

Advanced Analysis and Verification for Advanced Software (GA23-06506S)
Reliable, Secure, and Intelligent Computer Systems (FIT-S-23-8151)

Research groups

Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)

Departments

Department of Intelligent Systems FIT BUT (DITS FIT BUT)