LLVM Execution Engine

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 Actions
FileCheck.cpp 0000058090 56.7 KB 11 months
_service 0000000582 582 Bytes about 2 years
_servicedata 0000000220 220 Bytes 7 months
disable-failing-test.patch 0000000394 394 Bytes 11 months
klee-1.4.0+20190115.tar.xz 0000622332 608 KB 7 months
klee-rpmlintrc 0000000145 145 Bytes over 2 years
klee.changes 0000062540 61.1 KB 7 months
klee.spec 0000003846 3.76 KB 7 months
not.cpp 0000001755 1.71 KB 11 months
Comments for klee 0