Detail aplikovaného výsledku

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.

Originální název

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

Anglický název

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

Druh

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.

Abstrakt aglicky

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

Klíčová slova anglicky

formal verification, program analysis, shape analysis, bug hunting, memory safety

Umístění

https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/