Product Details
Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415
Created: 2024
Czech title
Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415
Type
software
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Authors
Müller Petr, Ing.
Peringer Petr, Dr. Ing. (DITS)
Šoková Veronika, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Kinšt Ondřej, Bc. (BSPB)
Kotoun Michal, Ing.
Peringer Petr, Dr. Ing. (DITS)
Šoková Veronika, Ing. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Kinšt Ondřej, Bc. (BSPB)
Kotoun Michal, Ing.
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
License Conditions
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
Advanced Analysis and Verification for Advanced Software, GACR, Standardní projekty, GA23-06506S, 2023-2025, running
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, running
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, running
Research groups
Departments