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

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
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

Citation
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:

You are running an old browser version. We recommend updating your browser to its latest version.