LLVM Execution Engine

http://klee.github.io/

KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.

Refresh
Refresh
Source Files (show merged sources derived from linked package)
Filename Size Changed
FileCheck.cpp 0000025580 25 KB 6 months
_service 0000000625 625 Bytes 3 months
_servicedata 0000000220 220 Bytes 29 days
klee-2.1+20200921.obscpio 0019188749 18.3 MB 29 days
klee-rpmlintrc 0000000145 145 Bytes over 3 years
klee.changes 0000073137 71.4 KB 28 days
klee.obsinfo 0000000101 101 Bytes 29 days
klee.spec 0000004207 4.11 KB 28 days
not.cpp 0000001836 1.79 KB 12 months
Comments for klee 0