Detail produktu

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

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