Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
This is a debugged and improved version of SV-COMP 2021 Symbiotic 8.
This release is a fixed version of Symbiotic that competed in SV-COMP 2021. The unfixed version is available from the competition's archives.
The fixes are:
Slowbeast used is: https://gitlab.fi.muni.cz/xchalup4/slowbeast/-/tree/svcomp21-v1
The version used for SV-COMP 2020.
This version of Symbiotic was used for experiments intended for a publication on iFM 2019.
The version used for the Test-comp 2019 (http://test-comp.sosy-lab.org/)
The version used for SV-COMP 2019
The version used for STTT paper.
This release will be being updated till 27th of November.
The attached archive contains all measurements that were taken and the Symbiotic tool used to take the measurements. Also, simple steps that are needed to reproduce the results are present.