staticafi / symbiotic

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

Alternatives and similar repositories for symbiotic:

Users that are interested in symbiotic are comparing it to the libraries listed below