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

Typ

software

Jazyk

anglicky

Autoři

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

Popis

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

URL

https://www.fit.vut.cz/research/group/verifit/public/tools/predatorhp/.cs

Licence

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

Licenční poplatek

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

Licenční podmínky

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).

Projekty

Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, zahájení: 2023-03-01, ukončení: 2026-02-28, řešení

Výzkumné skupiny

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

Pracoviště

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