Symbiotic Versions Save

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

5.0.1-alpha

6 years ago
  • Better instrumentation
  • bugfixes
  • scripts ported to python3

4.0.1

7 years ago

4.0.0

7 years ago

Symbiotic 4.0.0

  • use static analysis when instrumenting
  • fix paths to generated witnesses & few small bugfixes
  • slicer improvements & bugfixes
  • merge svc15 to the main repository
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

3.0.7-pre

7 years ago
  • support memsafety properties
  • get rid of external scripts (rewritten into the python)
  • update to LLVM 3.8.1
  • slicer bugfixes & improvements
  • use more aggressive optimizations

3.0.2

8 years ago

Changelog:

* 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

Components versions

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

symbiotic-3.0.2-pre

8 years ago

Changelog:

* more user-friendly output and more options
* few improvements to svc15

External components versions

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

3.0.1

8 years ago

Changelog:

* add --witness=FILE option to generate witness into FILE
* few bugfixes
* improve klee

External components versions

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

3.0.0

8 years ago

Changelog:

* new slicer
* new scripts (shell -> python)
* witness generation

External components versions

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