Product detail

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.

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