Skip to content

PySymGym/klee

 
 

Repository files navigation

KLEEF Symbolic Virtual Machine

Build Status Coverage

KLEEF is a complete overhaul of the KLEE symbolic execution engine for LLVM, fine-tuned for a robust analysis of industrial C/C++ code.

For further information, see the webpage.

Packages

No packages published

Languages

  • C++ 59.9%
  • C 30.2%
  • Python 2.9%
  • CMake 2.3%
  • LLVM 2.3%
  • BitBake 1.4%
  • Other 1.0%