Merge to-be-8.0.0 version to master

staticafi / symbiotic

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

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

MIT License

309 stars 56 forks source link

Closed mchalupa closed 2 years ago