CPAlien: Configurable Program Analysis over Symbolic Memory Graphs
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APR27330" target="_blank" >RIV/00216305:26230/13:PR27330 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien" target="_blank" >http://www.fit.vutbr.cz/research/groups/verifit/tools/cpalien</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
CPAlien: Configurable Program Analysis over Symbolic Memory Graphs
Popis výsledku v původním jazyce
CPAlien is a tool for verifying programs written in C language, manipulating with dynamic data structures. It is an instance of the Configurable Program Analysis based on the Symbolic Memory Graph formalism. The tool is implemented using the CPAChecker framework, developed and provided by University of Passau.
Název v anglickém jazyce
CPAlien: Configurable Program Analysis over Symbolic Memory Graphs
Popis výsledku anglicky
CPAlien is a tool for verifying programs written in C language, manipulating with dynamic data structures. It is an instance of the Configurable Program Analysis based on the Symbolic Memory Graph formalism. The tool is implemented using the CPAChecker framework, developed and provided by University of Passau.
Klasifikace
Druh
R - Software
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
cpalien
Technické parametry
- Software je modul pro framework CPAChecker - Vývoj probíhá v repozitáři frameworku CPAChecker - Software je vyvíjen v jazyce Java - Software je šířen pod Apache licencí verze 2.0. Její znění je na http://www.apache.org/licenses/LICENSE-2.0.html
Ekonomické parametry
Software je dostupný pod licencí Apache License 2.0
IČO vlastníka výsledku
00216305
Název vlastníka
Vysoké učení technické v Brně