Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Mar 20, 2023

Explicitly check if 32bit support is enabled for testing
MartinNowack
committed
ConstantArrayExprVisitor: Fix detection of multiple array indices

lzaoral
authored and
MartinNowack
committed
ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`

lzaoral
authored and
MartinNowack
committed
llvm14: port test/Feature/VarArgByVal.c to LLVM 14

lzaoral
authored and
MartinNowack
committed
llvm14: PointerType::getElementType() was deprecated

lzaoral
authored and
MartinNowack
committed
llvm14: TargetRegistry.h was moved from Support to MC

lzaoral
authored and
MartinNowack
committed
llvm14: Add LLVM 14 job to GitHub Actions

lzaoral
authored and
MartinNowack
committed
llvm14: Add LLVM 14 to lit.cfg

lzaoral
authored and
MartinNowack
committed

Commits on Mar 17, 2023

Update KDAlloc unittests

MartinNowack
authored and
ccadar
committed
Update CI components

MartinNowack
authored and
ccadar
committed
Fix script to build all the containers we require for GitHub actions

MartinNowack
authored and
ccadar
committed
Update Docker build components

MartinNowack
authored and
ccadar
committed
Use newer LLVM_DIR config option to build FreeBSD

MartinNowack
authored and
ccadar
committed
Don't fail `KleeStats.c` test if it takes 1s or longer

MartinNowack
authored and
ccadar
committed
Disable `const_array_opt1` for ubsan as well

MartinNowack
authored and
ccadar
committed
Fix uninitialised memory access while reading last path entry

MartinNowack
authored and
ccadar
committed
Fix building of runtime library and klee-replay

MartinNowack
authored and
ccadar
committed
Add support to disable memsan instrumentation; update UB/Asan suppression

MartinNowack
authored and
ccadar
committed
Update build scripts

MartinNowack
authored and
ccadar
committed
[MemSan] Mark memory objects modified by syscalls as initialised

MartinNowack
authored and
ccadar
committed
Fix compiler warning with newer compilers

MartinNowack
authored and
ccadar
committed
Use bitcode library paths via config generation instead of `-D` flags

MartinNowack
authored and
ccadar
committed
[cmake] Use LLVM's CMake functionality only

MartinNowack
authored and
ccadar
committed

Commits on Mar 16, 2023

Fixed a bug in KLEE libc's implementation of strcmp: according to the C standard, characters should be compared as unsigned chars.
ccadar
committed
Add some system tests for KDAlloc

danielschemmel
authored and
251
committed
Integrate KDAlloc into KLEE

danielschemmel
authored and
251
committed
Add some unit tests for KDAlloc

danielschemmel
authored and
251
committed
Add the KDAlloc allocator using both of its suballocators

danielschemmel
authored and
251
committed
The KDAlloc loh allocator is useful for variable sized (large) allocations

danielschemmel
authored and
251
committed
The KDAlloc slot allocator is useful for small sized allocations

danielschemmel
authored and
251
committed

Commits on Mar 15, 2023

Do not escape "@". This triggers an error now in the CI.
ccadar
committed

Commits on Feb 28, 2023

Have the STP coverage build also provide Z3, so that the crosscheck solver can also be tested

danielschemmel
authored and
ccadar
committed
Add a few simple solver tests

danielschemmel
authored and
ccadar
committed

Commits on Feb 17, 2023

create klee-last as a relative link

danielschemmel
authored and
ccadar
committed
Fix integer overflow

danielschemmel
authored and
ccadar
committed