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

• Authors: CHALUPA Marek; JONÁŠ Martin; SLABÝ Jiří; STREJČEK Jan; VITOVSKÁ Martina
• Year of publication: 2016
• Type: Article in Proceedings
• Conference: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016
• MU Faculty or unit: Faculty of Informatics
• Doi: http://dx.doi.org/10.1007/978-3-662-49674-9_67
• Field: Informatics
• Keywords: instrumentation; symbolic execution; program slicing
• Description: Symbiotic 3 is a new generation of a bug-detection tool for C programs. The tool sticks to the combination of program instrumentation, slicing, and symbolic execution. Large parts of the tool are rewritten, in particular the managing and instrumentation scripts and slicer (including points-to analysis). Further, the symbolic executor Klee has been modified to produce error-witnesses. The changes are commented in the description of the tool workflow.

Related projects

• 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