Detail produktu

CPAlien: Configurable Program Analysis over Symbolic Memory Graphs

Vznik: 2013

Název česky
CPAlien: Konfigurovatelná analýza programů nad symbolickými paměťovými grafy
Typ
software
Licence
vyžadována - zdarma
Autoři
Klíčová slova

cpachecker, symbolické paměťové grafy, verifikace programů, jazyk C, statická analýza programů

Popis

CPAlien je nástroj pro ověřování programů v jazyce C manipulujících s dynamickými datovými strukturami. Jedná se o instanci konfigurovatelné analýzy programů založené na formalismu symbolických paměťových grafů. Nástroj je implementován v rámci frameworku CPAChecker vyvíjeného na Passau Universitat. 

Umístění
Licence
Projekty
Výzkumné skupiny
Pracoviště
Nahoru