Klee
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory:ARM/klee && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| 0001-runtime-workaround-for-glibc-2.30.patch | 0000001468 1.43 KB | |
| FileCheck.cpp | 0000025081 24.5 KB | |
| _service | 0000000582 582 Bytes | |
| _servicedata | 0000000220 220 Bytes | |
| klee-2.0+20191031.tar.xz | 0000641896 627 KB | |
| klee-rpmlintrc | 0000000145 145 Bytes | |
| klee.changes | 0000065304 63.8 KB | |
| klee.spec | 0000004173 4.08 KB | |
| not.cpp | 0000001836 1.79 KB |
Revision 18 (latest revision is 39)
Dominique Leuenberger (dimstar_suse)
accepted
request 745088
from
Jiri Slaby (jirislaby)
(revision 18)
- switch to llvm 9 - Update to version 2.0+20191031: * Executor: fix missing default case in switch instruction * enable testing for LLVM 9.0 * LLVM 9.0: fourth parameter for @llvm.objectsize() * klee-libc: add bcmp * support compilation against LLVM 9.0 * [klee-replay] Fix relative executable paths * ExecutorTimers: refactor and move to support lib * ExecutorTimers: remove signalling, fix endless looping fork * Executor.h: remove defined functions without implementation * test/Expr/Evaluate2.kquery: add link to issue * fix: make llvm 7.1 known * test/Feature/SolverTimeout.c: re-enable for Z3 * test/lit.cfg: test if current version is known * test/lit.cfg: use lit_config instead of lit * Do not use klee_range() in regression/2014-09-13-debug-info.c test, as it is incompatible with klee_prefer_cex. Fixes https://github.com/klee/klee/issues/1161
Comments 0