GitHub repository: staticafi/symbiotic
Primary language: Python
Created: 2015-10-09T11:37:02Z
Description: Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE