about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
LLVM became more complex, use LLVM's CMake functionality directly instead of replicating this behaviour in KLEE's build system. Use the correct build flags provided by LLVM itself. This is influenced by the way LLVM is built in the first place. Remove older CMake support (< 3.0).
2023-03-16Fixed a bug in KLEE libc's implementation of strcmp: according to the C ↵Cristian Cadar
standard, characters should be compared as unsigned chars.
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 ↵Daniel Schemmel
can also be tested
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 ↵Cristian Cadar
generated
2023-02-06Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring ↵Cristian Cadar
that a call to __memcpy_chk is emitted
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 ↵Cristian Cadar
warning once per array. Add test case.
2022-09-24Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it ↵Pavel
strips out these intrinsics
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
2022-09-14Check extensions of generated files in testsPavel
2022-09-14Remove LLVM version < 6Pavel
2022-09-14Introduce separate categories for different kinds of undefined behaviorPavel
2022-09-14Support UBSan-enabled binariesPavel Yatcheniy
2022-08-26Use true instead of Z3_TRUE (removed in z3 4.11.0)Jerry James
2022-08-19Corrected wrong usage of klee_report_error in __cxa_atexit handlerPavel
2022-07-24Support arguments of width 128, 256 and 512 bits for external callsPavel
2022-07-11Switch FreeBSD CI to 13.1 and Python 3.9Gleb Popov
2022-07-07POSIX runtime: fstatat: check for nonnull path APIsFrank Busse
2022-07-04Inline asm external callMikhail
2022-07-04Fix memory leak in crosscheck core solver mechanismDaniel Schemmel
2022-06-30checkout KLEE with depth > 1 when running codecovDaniel Schemmel
2022-06-30update github checkout action to v3Daniel Schemmel
2022-06-30rename CallSite to CallBaseFrank Busse
2022-06-30remove LLVM < 9Frank Busse
2022-06-29Perform coverage analysis for z3 as wellDaniel Schemmel
2022-06-29forward ci environment variables used to exercise metasmt backends into the ↵Daniel Schemmel
docker container
2022-06-29Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the test ↵Cristian Cadar
suite with all solvers supported by metaSMT, so the extra target provides marginal benefits.
2022-06-28Implement getArrayForUpdate iterativelyDaniel Schemmel
2022-06-27Define stat64 to be stat on MacOS. This fixes compilation on more recent ↵Cristian Cadar
macOS versions, where stat64 is not defined anymore.
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 17:13:58 +0000