- 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
OBS-URL: https://build.opensuse.org/request/show/1242811
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=42
- 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
OBS-URL: https://build.opensuse.org/request/show/1146146
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=38
- 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
OBS-URL: https://build.opensuse.org/request/show/1073721
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=34
- 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
OBS-URL: https://build.opensuse.org/request/show/1031045
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=33
- 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)
OBS-URL: https://build.opensuse.org/request/show/976213
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=31
- 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
OBS-URL: https://build.opensuse.org/request/show/895887
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=27
