Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
MÜLLER, P. PERINGER, P. ŠOKOVÁ, V. VOJNAR, T. KINŠT, O. KOTOUN, M.
Typ produktu
software
Abstrakt
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.
Klíčová slova
formal verification, program analysis, shape analysis, bug hunting, memory safety
Datum vzniku
1. 1. 2024
Umístění
https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/
Možnosti využití
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www