about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2023-03-22Explicitly check if 32bit support is enabled for testingMartin Nowack
2023-03-20ConstantArrayExprVisitor: Fix detection of multiple array indicesLukáš Zaoral
2023-03-20ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`Lukáš Zaoral
2023-03-20llvm14: port test/Feature/VarArgByVal.c to LLVM 14Lukáš Zaoral
2023-03-20llvm14: PointerType::getElementType() was deprecatedLukáš Zaoral
2023-03-20llvm14: TargetRegistry.h was moved from Support to MCLukáš Zaoral
2023-03-20llvm14: Add LLVM 14 job to GitHub ActionsLukáš Zaoral
2023-03-20llvm14: Add LLVM 14 to lit.cfgLukáš Zaoral
2023-03-17Update KDAlloc unittestsMartin Nowack
2023-03-17Update CI componentsMartin Nowack
2023-03-17Fix script to build all the containers we require for GitHub actionsMartin Nowack
2023-03-17Update Docker build componentsMartin Nowack
2023-03-17Use newer LLVM_DIR config option to build FreeBSDMartin Nowack
2023-03-17Don't fail `KleeStats.c` test if it takes 1s or longerMartin Nowack
2023-03-17Disable `const_array_opt1` for ubsan as wellMartin Nowack
2023-03-17Fix uninitialised memory access while reading last path entryMartin Nowack
2023-03-17Fix building of runtime library and klee-replayMartin Nowack
2023-03-17Add support to disable memsan instrumentation; update UB/Asan suppressionMartin Nowack
2023-03-17Update build scriptsMartin Nowack
2023-03-17[MemSan] Mark memory objects modified by syscalls as initialisedMartin Nowack
2023-03-17Fix compiler warning with newer compilersMartin Nowack
2023-03-17Use bitcode library paths via config generation instead of `-D` flagsMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2023-03-16Fixed a bug in KLEE libc's implementation of strcmp: according to the C stand...Cristian Cadar
2023-03-16Add some system tests for KDAllocDaniel Schemmel
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2023-03-16Add some unit tests for KDAllocDaniel Schemmel
2023-03-16Add the KDAlloc allocator using both of its suballocatorsDaniel Schemmel
2023-03-16The KDAlloc loh allocator is useful for variable sized (large) allocationsDaniel Schemmel
2023-03-16The KDAlloc slot allocator is useful for small sized allocationsDaniel Schemmel
2023-03-15Do not escape "@". This triggers an error now in the CI.Cristian Cadar
2023-02-28Have the STP coverage build also provide Z3, so that the crosscheck solver ca...Daniel Schemmel
2023-02-28Add a few simple solver testsDaniel Schemmel
2023-02-17create klee-last as a relative linkDaniel Schemmel
2023-02-17Fix integer overflowDaniel Schemmel
2023-02-06Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not gene...Cristian Cadar
2023-02-06Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring tha...Cristian Cadar
2023-02-06Use LLVM 11 for FreeBSD testing (package llvm90 is not available anymore)Cristian Cadar
2023-01-06fix output check in test const_arr_opt1Matthis Gördel
2022-12-09add missing FileCheck command to testMatthis Gördel
2022-12-09Fixed some leaks in klee-replayCristian Cadar
2022-12-09fix FileCheck cmd of VarArgByVal testMatthis Gördel
2022-09-26Improve the message for when large arrays become symbolic. Only print this w...Cristian Cadar
2022-09-24Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it str...Pavel
2022-09-14Add notes about how to keep in sync runtime with LLVM projectPavel
2022-09-14Improve pattern for FileCheck in UBSan's testsPavel
2022-09-14Improve pattern for FileCheck in UBSan's testsPavel
2022-09-14Add README to UBSan runtimePavel
2022-09-14Eliminate .undefined_behavior.err category and simplify testsPavel
2022-09-14Remove LLVM version < 9Pavel
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 17:39:08 +0000