Publication details

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)

Authors

SLABÝ Jiří STREJČEK Jan TRTÍK Marek

Year of publication 2013
Type Article in Proceedings
Conference Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-642-36742-7_50
Field Informatics
Keywords instrumentation; symbolic execution; program slicing
Attached files
Description Symbiotic is a tool for detection of bugs described by finite state machines in C programs. The tool combines three well-known techniques: instrumentation, program slicing, and symbolic execution. This paper briefly describes the approach of Symbiotic including its strengths, weaknesses, and modifications for SV-COMP 2013. Architecture and installation of the tool are described as well.
Related projects: