Úspěšná účast nástrojů Predator a CPAlien v mezinárodní soutěži ve verifikaci programů SV-COMP'14

Dudka Kamil, Ing.
Müller Petr, Ing.
Peringer Petr, Dr. Ing.
Vojnar Tomáš, prof. Ing., Ph.D.

Nástroje Predator a CPAlien vyvíjené skupinou VeriFIT pro automatickou analýzu a verifikaci práce s ukazateli a dynamickými datovými strukturami se úspěšně zúčastnily mezinárodní soutěže ve verifikaci programů SV-COMP'14 spojené s prestižní konferencí TACAS'14. Predator konkrétně získal stříbrnou medaili v kategorii Heap Manipulation a bronzovou v kategorii Memory Safety. Predator tak dosáhl nejlepšího výsledku mezi nástroji schopnými bezpečné (sound) analýzy dynamické paměti. Nově vyvíjený nástroj CPAlien získal čtvrté místo v kategorii Memory Safety.