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 |
---|---|---|
FileCheck.cpp | 0000025081 24.5 KB | |
_service | 0000000582 582 Bytes | |
_servicedata | 0000000220 220 Bytes | |
klee-2.0+20200119.tar.xz | 0000646824 632 KB | |
klee-rpmlintrc | 0000000145 145 Bytes | |
klee.changes | 0000066786 65.2 KB | |
klee.spec | 0000004102 4.01 KB | |
not.cpp | 0000001836 1.79 KB |
Revision 19 (latest revision is 39)
Dominique Leuenberger (dimstar_suse)
accepted
request 766883
from
Jiri Slaby (jirislaby)
(revision 19)
- Update to version 2.0+20200119: * Remove statistics limit from istats. * Fix handling of debug information for functions * Update objdump script to support python3 * Fixed documentation for command line argument link-llvm-lib * Assume assembly.ll is local to the run.istats file * Remove unnecessary std::move's that prevent copy elision * [optimize-array] Fix value transformation * [optimize-array] Fix hole index in buildMixedSelectExpr * [optimize-array] Fix hash collisions * [optimize-array] Hash collision test * [optimize-array] Fix update list read order * [Searchers] Remove weight from es, add nurs_depth * Move merging related code from Executor into MergingSearcher * Implement @llvm.is.constant() intrinsic handling and add a test for it. * [expr-visitor] Remove unnecessary allocation * Handle llvm.objectsize explicitly * Added test for 3-argument main. * Allow main with 3 arguments * Most libc++ tests require uclibc; add missing REQUIRES statements or remove dependency. * Core: Executor, remove unused variable * Do not modify strings if they are read-only. * Mark all constant global memory objects as constant * [test] Fix missing includes * runtime: fix for glibc 2.30 * Remove the duplicated check for DebugInfoIntrinsic - Remove 0001-runtime-workaround-for-glibc-2.30.patch (upstreamed)
Comments 0