Successful participation of the Predator and CPAlien tools in the international software verification competition SV-COMP'14

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

The Predator and CPAlien tools being developed by the VeriFIT group for automated analysis and verification of dealing with pointers and dynamic data structures participated in a successful way in the international software verification competition SV-COMP'14 associated with the prestigious conference TACAS'14. In particular, Predator won the silver medal in category Heap Manipulation and the bronze medal in category Memory Safety. Moreover, in these categories, it achieved the best result among tools with a sound treatment of dynamic memory. In addition, the new tool CPAlien scored 4th in the Memory Safety category.