Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
| Authors | |
|---|---|
| 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 | |
| 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: |