Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	CHALUPA Marek JONÁŠ Martin SLABÝ Jiří STREJČEK Jan VITOVSKÁ Martina
Rok publikování	2016
Druh	Článek ve sborníku
Konference	Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	http://dx.doi.org/10.1007/978-3-662-49674-9_67
Obor	Informatika
Klíčová slova	instrumentation; symbolic execution; program slicing
Popis	Symbiotic 3 je novou generací nástroje pro detekci chyb v programech v C. Nástroj nadále využívá kombinaci programové instrumentace, prořezávání a symbolické exekuce. Velké části nástroje byly přepsány, zejména řídící a instrumentační skripty a prořezávač (včetně points-to analýzy). Také jsme modifikovali symbolický exekutor Klee, aby poskytoval svědky chyb. Změny jsou komentovány v popisu běhu nástroje.
Související projekty:	Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V. Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity