staticafi / symbiotic Goto Github PK
View Code? Open in Web Editor NEWSymbiotic 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