symbiotic software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: ComputerApplications_COMPUTERSINOTHERSYSTEMS

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