An Easy to Use Infrastructure for Building Static Analysis Tools

Snadno použitelná infrastruktura pro výstavbu nástrojů na statickou analýzu

software

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Dudka Kamil, Ing.
Peringer Petr, Dr. Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)

gcc, plug-in, statická analýza, verifikace programů, C

Našim cílem je obalit rozhraní existujících parserů zdrojového kódu a poskytnout jednotné a dobře dokumentované, objektově orientované API (Application Programming Interface). Stěžejní výhoda našeho řešení je, že umožňujeme výstavbu analyzátorů, které dovedou zpracovat všechno, co dokáže zpracovat gcc. Navíc není potřeba předzpracovávat zdrojové kódy, ani měnit způsob, jakým jsou sestavovány. Je tedy možné spustit analýzu jádra Linuxu nebo projektu založeného na autotools a podobně.  Naše infrastruktura je implementována jako C++ knihovna, která může být použita pro výstavbu analyzátorů v podobě gcc plug-inů (používající nativní gcc plug-in rozhraní (http://gcc.gnu.org/wiki/GCC_Plugins)).

   - http://www.fit.vutbr.cz/research/groups/verifit/tools/code-listener

• http://www.gnu.org/licenses/gpl-3.0.txt

Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, ukončen
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, řešení
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, GAČR, Standardní projekty, GAP103/10/0306, 2010-2013, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)