| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: klee | Distribution: openSUSE Tumbleweed |
| Version: 3.1+20240614 | Vendor: openSUSE |
| Release: 1.1 | Build date: Fri Jun 28 09:39:18 2024 |
| Group: Development/Languages/Other | Build host: reproducible |
| Size: 3176476 | Source RPM: klee-3.1+20240614-1.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: http://klee.github.io/ | |
| Summary: LLVM Execution Engine | |
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.
NCSA
* Fri Jun 28 2024 jslaby@suse.cz
- Update to version 3.1+20240614:
* Mark variadic argument tests as requiring x86_64
* Mark inline assembly tests as requiring x86_64
* Add handler for _Exit(3)
* Thu Apr 25 2024 jslaby@suse.cz
- Update to version 3.1+20240418:
* Renamed test/Expr to test/kleaver and move ReadExprConsistency.c to
test/Feature
* Workaround for MSan failures due to
https://github.com/llvm/llvm-project/issues/78354
* Addressed missing override warnings emitted by recent compilers
* add pythonpath to lit forwarded env vars
* TARGET_TRIPLE was renamed to LLVM_TARGET_TRIPLE since LLVM 15
* New domain name klee-se.org, updating links.
* Final changes to release notes for v3.1
* Add support to fully concretise objects if modified externally
* Support external call concretisation policies for referenced objects
* Refactor `ObjectState::flushToConcreteStore` to use `toConstant`
* Use correctly constrained constants if the memory object is fully symbolic
* Correctly update symbolic variables that have been changed externally
* and much more.
- Remove
* 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch (in upstream)
* Fri Feb 09 2024 jslaby@suse.cz
- Update to version 3.0+20240208:
* Add space between include and main function for updated test cases
* Mention default value in help text for `--strip-all` and `--strip-debug`
* Use `std::` namespace for `uint64_t`
* Enable CI to test newer LLVM versions
* Support newer LLVM versions in `lit`
* Update test case for expressions using `udiv`, `urem`, `sdiv` and `srem`
* Handle check for thrown libc++ exceptions more general
* Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions.
* Disable unsupported passes for newer LLVM versions
* Add support to `aligned_alloc` generated by LLVM
* Add support for `Intrinsic::get_rounding` for LLVM 16
* Use APIs of newer LLVM versions instead of unsupported ones
* Fix test case: using unsupported `CHECK_NEXT` instead of `CHECK-NEXT`
* Fix test cases to support opaque pointers
* Add support for opaque pointers
* Explicitly enable opaque pointer support for LLVM 15
* Explicitly build KLEE's exception handling runtime with C++11
* Assume C compiler's default standard is `-std=gnu17`
* Use KLEE's uClibc v1.4 as default to support the compilation with newer compilers
* Refactor invocation of old pass manager into legacy function
- remove (they were upstreamed)
* 0001-Add-support-to-build-newer-LLVM-versions.patch
* 0002-Add-support-for-newer-libc-Simplify-path-detection.patch
* 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch
* 0004-Fix-klee-libc-memchr.c-compiler-warning.patch
* 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch
* 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch
* 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch
* 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch
* 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch
* 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch
* 0011-Add-support-for-opaque-pointers.patch
* 0012-Fix-test-cases-to-support-opaque-pointers.patch
* 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch
* 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch
* 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch
* 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch
* 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch
* 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch
* 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch
* 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch
* 0021-Support-newer-LLVM-versions-in-lit.patch
* 0022-Enable-CI-to-test-newer-LLVM-versions.patch
- remove 0001-test-disable-failing-tests-with-llvm-15.patch
Fixed by the below patch (in a PR), and in klee-uclibc.
- add
* 0001-Fix-brittleness-in-Feature-VarArgByVal-test.patch
* Thu Dec 14 2023 jslaby@suse.cz
- Update to version 3.0+20231023:
* replace deprecated (as of c++20) std::is_pod with std::trivial &&
std::is_standard_layout
* Make KDAlloc the default memory allocator
* Remove broken experimental optimisation for validity (--cex-cache-exp)
* Add code to only keep in the --help menu the KLEE/Kleaver option categories
* Move some options to the klee namespace and declare them in
OptionCategories.h
* Replaced --suppress-external-warnings and --all-external-warnings with
- -external-call-warnings=none|once-per-function|all.
* Combine all `ConstantExpr::toMemory` cases into one.
* Using std::memcpy prevents alignment problems and removes an unnecessary
special case
* Implement getLocationInfo in the same style as getSize
* Have CoWPtr::get and CoWPtr::getOwned return pointers instead of references
* rename Allocator::location_info to Allocator::locationInfo for consistency
* Consistently use ".ktest" when referring to .ktest files in the help menu
* Remove parentheses around klee_ intrinsics from the help menu
* Fixed a couple of spelling issues in the help menu
* Improved help message for --exit-on-error-type=Abort
* and more
- clean up spec file and switch to manual service
- switch to LLVM 16
- added patches
* 0001-Add-support-to-build-newer-LLVM-versions.patch
* 0001-test-disable-failing-tests-with-llvm-15.patch
* 0002-Add-support-for-newer-libc-Simplify-path-detection.patch
* 0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch
* 0004-Fix-klee-libc-memchr.c-compiler-warning.patch
* 0005-Fix-klee_eh_cxx.cpp-compiler-error.patch
* 0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch
* 0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch
* 0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch
* 0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch
* 0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch
* 0011-Add-support-for-opaque-pointers.patch
* 0012-Fix-test-cases-to-support-opaque-pointers.patch
* 0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch
* 0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch
* 0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch
* 0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch
* 0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch
* 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch
* 0019-Handle-check-for-thrown-libc-exceptions-more-general.patch
* 0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch
* 0021-Support-newer-LLVM-versions-in-lit.patch
* 0022-Enable-CI-to-test-newer-LLVM-versions.patch
- removed patches
* 0001-test-disable-until-it-is-fixed.patch (appears to be unnecessary now)
* Thu Jun 15 2023 jslaby@suse.cz
- Update to version 3.0+20230611:
* Rewrote has_permission in the POSIX runtime.
* SpecialFunctionHandler: use std::array for handlerInfo
* fix ktest-randgen: use after free
* Fixed a format specifier pointed to by a compiler warning.
* Build and push Docker image as part of a release
* Use recommended LLVM 13 as part of the Docker image
* ktest-gen: remove unused function
* Further improve KDAlloc memory usage with infinite quarantine
* test/Feature/StackTraceOutput.c: relative checks, clang-format
* re-enable StackTraceOutput.c test
* make BatchingSearcher more readable
* fix BatchingSearcher's disabled time budget
* also check for default CHECK directive in ArrayOpt Tests
* CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULL
* config.h: include FSTATAT_PATH_ACCEPTS_NULL
* doxygen.cfg.in: DOXYGEN_OUTPUT_DIR
* and much more
- remove
* 0001-gcc13-include-cstint-for-int-_t.patch (in upstream)
* Mon Mar 27 2023 jslaby@suse.cz
- Update to version 2.3+20230326:
* tests: add some missing headers
* fix unused variables warning
* Remove model_version from the POSIX runtime, as we have never used it.
* tests: add some
* stats: add some
* remove obsolete header
* Run KDAlloc/rusage unittest a few times to allow for swapfile interference
* Added more test cases for --entry-point. EntryPointMissing is currently expected to fail.
* STP: add option to switch SAT solver: --stp-sat-solver and set default to CryptoMinisat
* Change `llvm_map_components_to_libnames` to `llvm_config` CMake function
* use C++17
* Require minimal version of CMake 3.16 for KLEE
* Remove hard to understand and debug pcregrep test
* klee-stats: improve error message for missing tabulate package
* Handle fail of KLEE gracefully
* Explicitly check if 32bit support is enabled for testing
- remove
* 0001-cmake-implement-USE_MAP-to-support-single-LLVM-libra.patch
It's in upstream in a different form.
* Wed Mar 22 2023 jslaby@suse.cz
- 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
* 0003-llvm14-PointerType-getElementType-was-deprecated.patch
- add
* 0001-cmake-implement-USE_MAP-to-support-single-LLVM-libra.patch
* 0001-gcc13-include-cstint-for-int-_t.patch
* Tue Oct 25 2022 jslaby@suse.cz
- Update to version 2.3+20220926:
* Improve the message for when large arrays become symbolic.
* Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that
it strips out these intrinsics
* Improve pattern for FileCheck in UBSan's tests
* Add README to UBSan runtime
* Eliminate .undefined_behavior.err category and simplify tests
* Check extensions of generated files in tests
* Introduce separate categories for different kinds of undefined behavior
* Support UBSan-enabled binaries
- update FileCheck.cpp to llvm 14's
* Tue Sep 06 2022 Jiri Slaby <jslaby@suse.cz>
- add llvm 14 support
* 0001-llvm14-Add-LLVM-14-to-lit.cfg.patch
* 0001-Module-InstructionOperandTypeCheckPass-Fix-Wbitwise-.patch
* 0002-llvm14-TargetRegistry.h-was-moved-from-Support-to-MC.patch
* 0003-llvm14-PointerType-getElementType-was-deprecated.patch
- switch to llvm 14
* Mon Sep 05 2022 jslaby@suse.cz
- Update to version 2.3+20220826:
* Use true instead of Z3_TRUE (removed in z3 4.11.0)
* Corrected wrong usage of klee_report_error in __cxa_atexit handler
* Support arguments of width 128, 256 and 512 bits for external calls
* POSIX runtime: fstatat: check for nonnull path APIs
* Inline asm external call
* Fix memory leak in crosscheck core solver mechanism
* checkout KLEE with depth > 1 when running codecov
* rename CallSite to CallBase
* remove LLVM < 9
* Perform coverage analysis for z3 as well
* Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the
test suite with all solvers supported by metaSMT, so the extra target
provides marginal benefits.
* Implement getArrayForUpdate iteratively
* Fix error with empty EntryPoint
* Intrinsics: Add support for @llvm.f{ma,muladd}.f*
* Use `klee` user to install system dependencies
* Spelling Fixes
* tests: add StackTraceOutput.c
* .err files: minor readability changes to stack trace output
* Update SpecialFunctionHandler.cpp
* tests: invoke LLVM tools through their corresponding macros
* Tue May 10 2022 jslaby@suse.cz
- 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)
* Wed Mar 16 2022 jslaby@suse.cz
- Update to version 2.2+20220311:
* FD_Fail: use /dev/zero instead of /etc/mtab
* Core/Executor: Fix unaligned write of fp80 arguments
* Core/ExecutionState: Fix uninitialized reads in unit tests
* CI: add `-fno-sanitize-recover=undefined` to UBSAN flags
* tests: make UBSAN print stack traces
* CI: drop `-fsanitize=integer` from UBSAN flags
* CI: Update GTest to 1.11.0
* CI: Update Z3 to 4.8.14
* build: fix missing target for grep
* fix CMake: gtest from llvm includes gtest_main
* and many more
- delete (they are all upstream)
* 0001-Support-FileHandling.cpp-rewrite-to-C-14.patch
* 0002-llvm13-llvm-fs-F_None-has-been-removed.patch
* 0003-llvm13-llvm-cl-GeneralCategory-is-no-longer-a-global.patch
* 0004-llvm13-CreateLoad-API-with-implicit-types-has-been-d.patch
* 0005-llvm13-CreateGEP-no-longer-accepts-nullptr.patch
* 0006-llvm13-llvm-APInt-toString-has-been-moved-to-StringE.patch
* 0007-llvm13-Add-LLVM-13-to-lit.cfg.patch
* 0008-llvm13-Add-LLVM-13-to-Travis-CI-and-GitHub-Actions.patch
* Tue Oct 19 2021 jslaby@suse.cz
- Update to version 2.2+20211017:
* test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc platforms
* test/Runtime/POSIX/Futimesat: Compile with -std=c99
* test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefix
- add llvm 13 support
* 0001-Support-FileHandling.cpp-rewrite-to-C-14.patch
* 0002-llvm13-llvm-fs-F_None-has-been-removed.patch
* 0003-llvm13-llvm-cl-GeneralCategory-is-no-longer-a-global.patch
* 0004-llvm13-CreateLoad-API-with-implicit-types-has-been-d.patch
* 0005-llvm13-CreateGEP-no-longer-accepts-nullptr.patch
* 0006-llvm13-llvm-APInt-toString-has-been-moved-to-StringE.patch
* 0007-llvm13-Add-LLVM-13-to-lit.cfg.patch
* 0008-llvm13-Add-LLVM-13-to-Travis-CI-and-GitHub-Actions.patch
- switch to llvm 13
* Mon Oct 04 2021 jslaby@suse.cz
- Update to version 2.2+20210915:
* LLVM 12 support
* Test failure for WSL 1
- delete (they are upstream)
* 0001-llvm12-VectorType-getNumElements-has-been-deprecated.patch
* 0002-llvm12-Add-LLVM-12-to-lit.cfg.patch
* 0005-llvm12-Implement-llvm.-s-u-max-min-intrinsics.patch
* 0006-llvm11-Handle-llvm.roundeven-instrinsic.patch
* 0007-llvm12-Implement-llvm.abs-intrinsic.patch
* Fri May 28 2021 Jiri Slaby <jslaby@suse.cz>
- Update to version 2.2+20210510:
* allocate memory objects for functions
* differentiate between partial and completed paths in summary and fix paths
stats when not dumping states
* posix runtime: add malloc checks
* Fix erroneous klee-stats legend for --print-all
* Replaced the time-based delay
* Refactored maxStaticPctChecks into a sequence of conditions.
* Added a warning when forking is skipped due to MaxStatic*Pct limits being
reached
* Added -max-static-pct-check-delay to replace the hardcoded delay after
which the MaxStatic*Pct checks are performed.
* klee-replay: Fix -Wformat-truncation warning
- Switch to LLVM 12. (patches from pr#1389 + 1)
* 0001-llvm12-VectorType-getNumElements-has-been-deprecated.patch
* 0002-llvm12-Add-LLVM-12-to-lit.cfg.patch
* 0005-llvm12-Implement-llvm.-s-u-max-min-intrinsics.patch
* 0006-llvm11-Handle-llvm.roundeven-instrinsic.patch
* 0007-llvm12-Implement-llvm.abs-intrinsic.patch
* 0001-test-disable-until-it-is-fixed.patch
* Tue Feb 23 2021 jslaby@suse.cz
- Update to version 2.2+20210222:
* runtime/POSIX: fix failures with glibc-2.33
- remove 0001-runtime-POSIX-fix-failures-with-glibc-2.33.patch
* Fri Feb 19 2021 jslaby@suse.cz
- Update to version 2.2+20210216:
* Executor: remove obsolete special case for __cxa_{re,}throw
* add klee_messages for C++ exception handling support
* add ifdefs for C++ exception handling
* renaming 'libcxx' -> 'libc++'
* posix runtime: getcwd: check malloc and set errno
* posix runtime: remove dead branch
* klee-libc: simplify mempcpy
* fix cflags for runtime build types
- add 0001-runtime-POSIX-fix-failures-with-glibc-2.33.patch
/usr/bin/kleaver /usr/bin/klee /usr/bin/klee-exec-tree /usr/bin/klee-replay /usr/bin/klee-stats /usr/bin/klee-zesti /usr/bin/ktest-gen /usr/bin/ktest-randgen /usr/bin/ktest-tool /usr/include/klee /usr/include/klee/klee.h /usr/lib64/klee /usr/lib64/klee/runtime /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca /usr/lib64/klee/runtime/libkleeUBSan64_Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeUBSan64_Debug.bca /usr/lib64/klee/runtime/libkleeUBSan64_Release+Asserts.bca /usr/lib64/klee/runtime/libkleeUBSan64_Release+Debug+Asserts.bca /usr/lib64/klee/runtime/libkleeUBSan64_Release+Debug.bca /usr/lib64/klee/runtime/libkleeUBSan64_Release.bca /usr/lib64/libkleeRuntest.so /usr/lib64/libkleeRuntest.so.1.0 /usr/share/doc/packages/klee /usr/share/doc/packages/klee/NEWS /usr/share/doc/packages/klee/README.md /usr/share/licenses/klee /usr/share/licenses/klee/LICENSE.TXT
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Nov 13 00:41:02 2024