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

Investor logo

Warning

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

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

More info