Overview
Request 1073721 accepted
- 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
Request History
jirislaby created request
- 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
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
staging-bot added openSUSE:Factory:Staging:adi:30 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:30"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:30"
licensedigger accepted review
The legal review is accepted preliminary. The package may require actions later on.
dimstar accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:30 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:30 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:30 got accepted.