Applied result 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.

Original Title

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

English Title

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

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.

Abstract in English

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

Key words in English

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

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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