acalabek / symbiotic Goto Github PK
View Code? Open in Web Editor NEWThis project forked from staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Home Page: http://staticafi.github.io/symbiotic/
License: MIT License