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

• 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
• Doi: https://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