Pinned

1. symbiotic symbiotic Public

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

   Python 300 55

2. JetKlee JetKlee Public

   Forked from klee/klee

   JetKlee Symbolic Virtual Machine

   C++ 4 7

3. sbt-instrumentation sbt-instrumentation Public

   Configurable instrumentation of LLVM bitcode

   C++ 31 12

4. llvm2c llvm2c Public

   Forked from petrv7/llvm2c

   Decompiler of LLVM bitcode to C

   C++ 76 9

5. sbt-slicer sbt-slicer Public

   Static program slicer used in Symbiotic tool

   C++ 10 2

6. mamato mamato Public

   View and browse results from benchexec

   Python 7 2