staticafi / symbiotic

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

Related projects

Alternatives and complementary repositories for symbiotic