Přístupnostní navigace
E-application
Search Search Close
Product detail
MÜLLER, P. PERINGER, P. ŠOKOVÁ, V. VOJNAR, T. KINŠT, O. KOTOUN, M.
Product type
software
Abstract
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
Create date
1. 1. 2024
Location
https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/
Possibilities of use
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www