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

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

Poskytovatel licence na výsledek nepožaduje licenční poplatek

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

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, GAČR, Standardní projekty, GA23-06506S, 2023-2025, řešení
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, řešení

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

Ústav inteligentních systémů (UITS)