CPAlien: Konfigurovatelná analýza programů nad symbolickými paměťovými grafy

Autoři:Müller Petr, Vojnar Tomáš
Typ:software
Vznik:2013
Licence:vyžadována - zdarma
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í:
http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
http://www.apache.org/licenses/LICENSE-2.0.html

Vaše IPv4 adresa: 18.206.13.39
Přepnout na https