staticafi / symbiotic

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

http://staticafi.github.io/symbiotic/

staticafi/symbiotic Stargazers