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:Backports:SLE-15-SP4:SLECandidates/klee && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
|
0001-cmake-implement-USE_MAP-to-support-single-LLV |
0000007365 7.19 KB | |
| 0001-gcc13-include-cstint-for-int-_t.patch | 0000001139 1.11 KB | |
| 0001-test-disable-until-it-is-fixed.patch | 0000000877 877 Bytes | |
| FileCheck.cpp | 0000036858 36 KB | |
| _service | 0000000623 623 Bytes | |
| _servicedata | 0000000226 226 Bytes | |
| klee-2.3+20230320.obscpio | 0019807245 18.9 MB | |
| klee-rpmlintrc | 0000000099 99 Bytes | |
| klee.changes | 0000085982 84 KB | |
| klee.obsinfo | 0000000100 100 Bytes | |
| klee.spec | 0000004686 4.58 KB | |
| not.cpp | 0000002267 2.21 KB |
Revision 34 (latest revision is 39)
Dominique Leuenberger (dimstar_suse)
accepted
request 1073721
from
Jiri Slaby (jirislaby)
(revision 34)
- Update to version 2.3+20230320: * ConstantArrayExprVisitor: Fix detection of multiple array indices * ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead` * llvm14 support * Update KDAlloc unittests * Don't fail `KleeStats.c` test if it takes 1s or longer * Disable `const_array_opt1` for ubsan as well * Fix uninitialised memory access while reading last path entry * Fix building of runtime library and klee-replay * Add support to disable memsan instrumentation; update UB/Asan suppression * [MemSan] Mark memory objects modified by syscalls as initialised * Fix compiler warning with newer compilers * Use bitcode library paths via config generation instead of `-D` flags * [cmake] Use LLVM's CMake functionality only * Fixed a bug in KLEE libc's implementation of strcmp: according to the C standard, characters should be compared as unsigned chars. * Add some system tests for KDAlloc * Integrate KDAlloc into KLEE * Have the STP coverage build also provide Z3, so that the crosscheck solver can also be tested * Add a few simple solver tests * create klee-last as a relative link * Fix integer overflow * Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring that a call to __memcpy_chk is emitted * fix output check in test const_arr_opt1 * add missing FileCheck command to test * Fixed some leaks in klee-replay * fix FileCheck cmd of VarArgByVal test - remove (upstream): * 0001-Module-InstructionOperandTypeCheckPass-Fix-Wbitwise-.patch * 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch * 0002-llvm14-TargetRegistry.h-was-moved-from-Support-to-MC.patch
Comments 0