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
Nahoru