Popular repositories

1. klee klee Public

   KLEE Symbolic Execution Engine

   C++ 2.5k 655

2. klee-web klee-web Public

   KLEE in the browser

   Python 48 14

3. klee-uclibc klee-uclibc Public

   KLEE's version of uClibc

   C 44 47

4. klee.github.io klee.github.io Public

   Website for the KLEE project: https://klee-se.org/

   HTML 16 48

5. legacy-wllvm legacy-wllvm Public archive

   Forked from travitch/whole-program-llvm

   A wrapper script to build whole-program LLVM bitcode files

   Python 6 5

6. legacy-klee-buildbot legacy-klee-buildbot Public archive

   Buildbot scripts for the KLEE project

   Python 1