about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
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 d...Daniel Schemmel
2022-06-29Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the test ...Cristian Cadar
2022-06-28Implement getArrayForUpdate iterativelyDaniel Schemmel
2022-06-27Define stat64 to be stat on MacOS. This fixes compilation on more recent mac...Cristian Cadar
2022-06-27Fix error with empty EntryPointSaveliy Grigoryev
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
2022-06-20Use `klee` user to install system dependenciesMartin Nowack
2022-06-18Update Dockerfile to install tabulatekt218
2022-06-15Spelling Fixesm-davis
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 15:23:38 +0000