Alternatives and similar repositories for klee

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

• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• llvm-mirror / vmkit
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 7 years ago
• llvm-mirror / libclc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆26Updated 6 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆70Updated 9 years ago
• llvm-mirror / libunwind
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆65Updated 6 years ago
• reverbrain / react
  Realtime call tree for C++
  ☆39Updated 11 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 10 years ago
• divanburger / fragbyte
  GLSL to bytecode compiler and VM
  ☆10Updated 9 years ago
• s-kanev / XIOSim
  A detailed michroarchitectural x86 simulator
  ☆62Updated 8 years ago
• yosefk / heapprof
  A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries
  ☆49Updated 10 months ago
• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 6 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆110Updated 9 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 7 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆21Updated 6 years ago
• tomaszkam / proposals
  C++ standard proposals
  ☆16Updated this week
• leaningtech / cheerp-bullet
  Bullet physics library ported to JavaScript with Cheerp
  ☆23Updated 10 years ago
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated 2 years ago
• dibyendumajumdar / dmr_c
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆56Updated 6 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆31Updated 10 years ago
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• eloraiby / rl-json-parser
  Ragel/Lemon based json-parser
  ☆18Updated 7 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆38Updated 11 years ago
• lanl / ares
  Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…
  ☆10Updated 9 years ago
• rwl / JLLVM
  A Java version of LLVM Core by Hao Liu
  ☆22Updated 12 years ago
• google / effcee
  Effcee is a C++ library for stateful pattern matching of strings, inspired by LLVM's FileCheck
  ☆103Updated 5 months ago
• coreperf / rejit
  fast SIMD-able JIT regular expression compiler
  ☆197Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆15Updated 8 years ago