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

Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415

software

vyžadována - zdarma

Kinšt Ondřej, Bc. (FIT VUT)
Kotoun Michal, Ing. (FIT VUT)
Müller Petr, Ing. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)

formální verifikace, analýza programu, analýza tvaru, hledání chyb, bezpečnost paměti.

Predator Hunting Party (PredatorHP) je skript implementovaný v jazyce Python, určený k ověřování a hledání chyb v programech v jazyce C se zaměřením na bezpečnost paměti a detekci tvrzení. Skript využívá několik současně běžících analyzátorů Predator s různými konfiguracemi.

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

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Pokročilá analýza a verifikace pro pokročilý software (GA23-06506S)
Reliable, Secure, and Intelligent Computer Systems (FIT-S-23-8151)

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)