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

Publikace nespadá pod Filozofickou fakultu, 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

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: