Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail produktu
DUDKA, K. PERINGER, P. VOJNAR, T.
Typ produktu
software
Abstrakt
Predator is a practical tool for checking manipulation of dynamic data structures using separation logic. It can be loaded directly into gcc as a plug-in (http://gcc.gnu.org/wiki/GCC_Plugins). This way you can easily analyse C code sources, using the existing build system, without any manual preprocessing of them etc. The analysis itself is, however, not yet ready for complex projects yet. The plug-in is based on code-listner (http://www.fit.vutbr.cz/research/groups/verifit/tools/code-listener) infrastructure (included).
Klíčová slova
gcc, plug-in, separation logic, program verification, C
Datum vzniku
19. 12. 2010
Umístění
- http://www.fit.vutbr.cz/research/groups/verifit/tools/predator
Možnosti využití
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www
https://www.fit.vut.cz/research/product/149/