about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
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
2022-06-20Use `klee` user to install system dependenciesMartin Nowack
As a follow-up to recent build script enhancements (https://github.com/klee/klee/commit/818275b7249250780ddd5ed021cae64288514270), finally build KLEE inside of the Docker image as artefact owned by the `klee` user, including user-installed Python3 modules. This fixes issues with non-writable build directories. In addition `$HOME/.local/bin` directory is made available in search path.
2022-06-18Update Dockerfile to install tabulatekt218
Install tabulate package for klee-stats to work when used within KLEE Docker.
2022-06-15Spelling Fixesm-davis
2022-06-13tests: add StackTraceOutput.cFrank Busse
2022-06-13.err files: minor readability changes to stack trace outputFrank Busse
2022-06-13Update SpecialFunctionHandler.cppChaoqi Zhang
use size() to get N in bind(), just like the way in prepare().
2022-06-13tests: invoke LLVM tools through their corresponding macrosLukáš Zaoral
2022-05-06Switch to newer KLEE uClibc releaseMartin Nowack
Instead of using a branch that doesn't allow build artifact caching, use the newer released version instead.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 09:56:11 +0000