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.
- Devel package for openSUSE:Factory
-
1
derived packages
- Links to openSUSE:Factory / klee
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout devel:tools:statica/klee && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
0001-Module-InstructionOperandTypeCheckPass-Fix-Wb |
0000002449 2.39 KB | |
0001-llvm14-Add-LLVM-14-to-lit.cfg.patch | 0000001035 1.01 KB | |
0001-test-disable-until-it-is-fixed.patch | 0000000877 877 Bytes | |
0002-llvm14-TargetRegistry.h-was-moved-from-Suppor |
0000000892 892 Bytes | |
0003-llvm14-PointerType-getElementType-was-depreca |
0000008455 8.26 KB | |
FileCheck.cpp | 0000036858 36 KB | |
_link | 0000000124 124 Bytes | |
_service | 0000000623 623 Bytes | |
_servicedata | 0000000226 226 Bytes | |
klee-2.3+20220926.obscpio | 0019689485 18.8 MB | |
klee-rpmlintrc | 0000000099 99 Bytes | |
klee.changes | 0000084031 82.1 KB | |
klee.obsinfo | 0000000100 100 Bytes | |
klee.spec | 0000004842 4.73 KB | |
not.cpp | 0000002267 2.21 KB |
Revision 120 (latest revision is 139)
Jiri Slaby (jirislaby)
committed
(revision 120)
up to 2.3+20220926
Comments 0