klee-3.2+20260221-1.1 RPM for x86_64

From OpenSuSE Tumbleweed for x86_64

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.

Provides

• klee
• klee(x86-64)
• libkleeRuntest.so.1.0()(64bit)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• /usr/bin/python3
• libLLVM.so.15()(64bit)
• libLLVM.so.15(LLVM_15)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libcap.so.2()(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libsqlite3.so.0()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• libstp.so.2.3()(64bit)
• libtcmalloc.so.4()(64bit)
• libz.so.1()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

NCSA

Changelog

* Mon Mar 30 2026 Jiri Slaby <jslaby@suse.cz>
  - Update to version 3.2+20260221:
    * InstructionInfoTable: add missing cstdint include
    * find_z3.cmake: Remove old unused code
    * Set KLEE version to 3.3-pre
    * Release notes for KLEE 3.2
    * Update KLEE version
    * Added test case where an array > 2^32 becomes symbolic
    * Disallow arrays > 2^32 bytes to become symbolic at a symbolic read or write
    * Added test where klee_make_symbolic is called on an object > 4 GiB
    * Improve the warning message for large allocations.
    * Terminate the state if an object > 4 GiB is made symbolic
    * Fixed the types dealing with object sizes and offsets
  - switch to tar_scm, given we are on git
* Wed Jun 25 2025 Jiri Slaby <jslaby@suse.cz>
  - Update to version 3.1+20250502:
    * googletest: update to 1.16.0
  - add (to fix gcc 15 builds):
    * 0001-include-cstdint-when-required.patch
* Thu Feb 13 2025 Jiri Slaby <jslaby@suse.cz>
  - OK, bump to llvm 15 again, everything moved to 15 in the meantime
* Tue Feb 11 2025 Jiri Slaby <jslaby@suse.cz>
  - support old distros
    * use gcc-14 c++ headers
    * add rpmlintrc filter for libkleeRuntest1_0
* Mon Feb 03 2025 jslaby@suse.cz
  - Update to version 3.1+20250106:
    * Freestanding fortify implementation
    * Freestanding intrinsic implementation
    * Freestanding klee-libc implementation
    * Freestanding runtime implementation
    * Freestanding errno implementation (falls back to host when available)
    * Define _LARGEFILE64_SOURCE at the beginning of necessary files
    * Add an option to generate XML test cases
    * fix ASan support for GCC 14 (and modernize it)
  - switch to llvm 14, as llvm 16 is used solely by klee
* Mon Dec 09 2024 jslaby@suse.cz
  - Update to version 3.1+20241105:
    * Add LLVM 18 and 19 as known versions in test/lit.cfg
    * Handle libunwind in recent LLVM versions (17+)
    * Fix warnings about mismatched capitalisation (FROM ... as -> FROM ... AS)
    * Support LLVM 19
    * Fix compatibility with LLVM 17
    * When handling the ABC dependency of STP, compare the version with 2.3.4 instead of master, which will also handle future releases
    * Add functions for comparing versions to build scripts
    * STP now needs libtinfo-dev installed
    * STP now has ABC as a dependency -- keep libabc build results
    * STP master branch now uses submodules -- initialise them
    * Fix bug in PATH cleaning, more robust installation detection
    * Use a virtual environment for Python3 while testing under MacOS
    * Install 'less' in the Docker container
    * Use `unique_ptr` within `getAllIndependentConstraintsSets`
    * Prefer `unique_ptr` over raw pointer in `IndependentSolver`
    * Whitespace fix
    * Specialize the build for some expensive components for Arch & Debian.
    * fix(klee-replay): add missing `<limits.h>` includes
* 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

Files

/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/klee-uclibc.bca
/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/libkleeRuntimePOSIX64_Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_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, Sun Aug 2 01:54:38 2026