- 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

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

- 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

• Files Changed
• Browse Source

- 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

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

- 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)

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

- 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

• Files Changed
• Browse Source

- 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

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

- 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

• Files Changed
• Browse Source

- Update klee to version 2.2, switch to LLVM 11.
- Go with regular release for now, but leave _service files intact. (forwarded request 862450 from aaronpuchert)

• Files Changed
• Browse Source

- Update to version 2.1+20200921:
  * Added a PR template, with a checklist documenting the most frequent issues we have encountered
  * [gen-bout] Support multiple symbolic files
  * Add klee-zesti a ZESTI like wrapper script
  * Fix codecov upload
  * Remove secure vars
  * Guard process-tree compression with a command-line switch
  * More robust handling of unknown intrinsics
  * Definition of __cxa_thread_atexit_impl for the KLEE libc.
  * klee-stats: check for a run.stats file in the klee-out directory, to prevent outputting wrong data.
  * DiscretePDF: use IDs instead of pointers (see PR #739)
  * New intrinsic: klee_is_replay
- disable 32 bit archs as klee doesn't (and won't) build on them

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

Automatic submission by obs-autosubmit

• Files Changed
• Browse Source

- Update to version 2.1+20200420.
- Switch to LLVM 10.
- Disable assertions.
- Take "FileCheck" and "not" from official git repository.

• Files Changed
• Browse Source

- 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)

• Files Changed
• Browse Source