https://github.com/staticafi/symbiotic
GitHub - staticafi/symbiotic: Symbiotic is a tool for finding bugs in computer programs based on...
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE - staticafi/symbiotic