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-test-disable-until-it-is-fixed.patch | 0000000877 877 Bytes | |
| FileCheck.cpp | 0000036877 36 KB | |
| _service | 0000000623 623 Bytes | |
| _servicedata | 0000000226 226 Bytes | |
| klee-2.3+20220506.obscpio | 0019623949 18.7 MB | |
| klee-rpmlintrc | 0000000099 99 Bytes | |
| klee.changes | 0000081721 79.8 KB | |
| klee.obsinfo | 0000000100 100 Bytes | |
| klee.spec | 0000004484 4.38 KB | |
| not.cpp | 0000002267 2.21 KB |
Revision 31 (latest revision is 39)
Dominique Leuenberger (dimstar_suse)
accepted
request 976213
from
Jiri Slaby (jirislaby)
(revision 31)
- Update to version 2.3+20220506:
* Switch to newer KLEE uClibc release
* Updated tests to use ktest-randgen instead of gen-random-bout
* Renamed gen-random-bout to ktest-randgen
* Updated tests to use ktest-gen instead of gen-bout
* Updated klee-zesti to use ktest-gen instead of gen-bout
* Renamed gen-bout to ktest-gen
* cl flags: document default values, remove dead option:
--replay-keep-symbolic
* Make Uclibc support a runtime option, not a compile-time one.
* use mallinfo2 if available
* Remove unnecessary call to deprecated function sqlite3_enable_shared_cache
* Add LLVM 9 and LLVM 11 patches to build with newer Linux kernel versions
* Build libcxx in parallel if possible
* Clearly separate between LLVM, a bitcode compiler, and sanitizer compiler
* Add support to `sudo` if necessary
* Removed/updated obsolete Doxygen configuration options
* Disabled Doxygen by default
* ADT/Ref.h: remove header
* Updated test MemoryLimit.c to use FileCheck, and formatted the file
* Document that GetTotalMallocUsage returns the usage in bytes
- add shlib-policy-name-error filter to rpmlint (for 15.4)
Comments 0