Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Symbiotic 4.0.0
component | version | from |
---|---|---|
klee | d2a5708 | https://github.com/staticafi/klee/tree/3.0.8 |
stp | 39fa956f | https://github.com/stp/stp |
minisat | 3db58943 | https://github.com/niklasso/minisat |
dg (slicer) | 96e851c | https://github.com/mchalupa/dg |
instrumentation | f750b24 | https://github.com/staticafi/LLVMInstrumentation |
scripts | 29accea |
sha1sums:
903d8f7b015a2f77c81c1379098ffd833dae1d73 symbiotic-4.0.0.tar.gz
b56178d80e3f4ad804cfdf452512709097ea6165 symbiotic-4.0.0-alpha.tar.gz
* more user-friendly output and more options
* few improvements to svc15
* more precise slicing (fixed bugs that made the slicing unprecise)
* lots of slicer critical bugfixes
* few new tests
component | version | from |
---|---|---|
klee | 541df0 | https://github.com/staticafi/klee/tree/3.0.2 |
stp | 378514 | https://github.com/stp/stp |
minisat | 37dc6c | https://github.com/niklasso/minisat |
svc15 | d1a067 | https://github.com/staticafi/svc15 |
dg (slicer) | 33cf7f9 | https://github.com/mchalupa/dg/tree/0.0.2 |
* more user-friendly output and more options
* few improvements to svc15
component | version | from |
---|---|---|
klee | c06112 | https://github.com/staticafi/klee |
stp | 378514 | https://github.com/stp/stp |
minisat | 37dc6c | https://github.com/niklasso/minisat |
svc15 | d98386 | https://github.com/staticafi/svc15 |
dg (slicer) | cefe54 | https://github.com/mchalupa/dg |
* add --witness=FILE option to generate witness into FILE
* few bugfixes
* improve klee
component | version | from |
---|---|---|
klee | a5523fd | https://github.com/staticafi/klee |
stp | d550b55 | https://github.com/stp/stp |
minisat | 37dc6c67 | https://github.com/niklasso/minisat |
svc15 | 6f5d03f | https://github.com/staticafi/svc15 |
dg (slicer) | 839dc35 | https://github.com/mchalupa/dg |
* new slicer
* new scripts (shell -> python)
* witness generation
component | version | from |
---|---|---|
klee | 5aad195 | https://github.com/mchalupa/klee |
stp | 56aeea6f | https://github.com/stp/stp |
minisat | 37dc6c67 | https://github.com/niklasso/minisat |
svc15 | 21a5063d | https://github.com/staticafi/svc15 |
dg | debb205d | https://github.com/mchalupa/dg |