Result Details
Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415
Created: 2024
Type
software
Language
English
Authors
Müller Petr, Ing.
Peringer Petr, Dr. Ing., DITS (FIT)
Šoková Veronika, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Kinšt Ondřej, Ing., FIT (FIT)
Kotoun Michal, Ing.
Peringer Petr, Dr. Ing., DITS (FIT)
Šoková Veronika, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Kinšt Ondřej, Ing., FIT (FIT)
Kotoun Michal, Ing.
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.
Keywords
formal verification, program analysis, shape analysis, bug hunting, memory safety
URL
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
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, start: 2023-01-01, end: 2025-12-31, running
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, start: 2023-03-01, end: 2026-02-28, running
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, start: 2023-03-01, end: 2026-02-28, running
Research groups
Departments