about summary refs log tree commit diff homepage
path: root/tools/klee-replay
AgeCommit message (Expand)Author
2023-03-26fix unused variables warningDaniel Schemmel
2023-03-23Remove model_version from the POSIX runtime, as we have never used it.Cristian Cadar
2023-03-17Fix building of runtime library and klee-replayMartin Nowack
2023-03-17[MemSan] Mark memory objects modified by syscalls as initialisedMartin Nowack
2023-03-17[cmake] Use LLVM's CMake functionality onlyMartin Nowack
2022-12-09Fixed some leaks in klee-replayCristian Cadar
2021-04-18klee-replay: Fix -Wformat-truncation warningLukas Zaoral
2020-11-11Do not redefine fgetc_unlocked and fputc_unlocked unconditionally.Gleb Popov
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-11-07Allow main with 3 argumentsCristian Cadar
2019-10-29[klee-replay] Fix relative executable pathsTimotej Kapus
2019-08-15replace fprintf with fputs/fputcFrank Busse
2019-08-14Delete functions delete_file() and delete_dir() which are not needed now that...Cristian Cadar
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-14Create all files in the replay directory and chdir to this directory before e...Cristian Cadar
2019-08-14Added an option to klee-replay to keep replay directoryCristian Cadar
2019-08-14Cleaned up messages emitted by klee-replay, and prefixed them all with "KLEE-...Cristian Cadar
2019-08-14Changed klee-replay to create a temporary directory with a random name in /tm...Cristian Cadar
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-04-02Fix klee-replay tool on FreeBSD.Gleb Popov
2018-10-08cleanup headers, whitespaces, and typesFrank Busse
2018-10-08add support for klee-replay on OSXFrank Busse
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2014-09-12Do not require <sys/capability.h>, which is Linux specific.Daniel Dunbar
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2010-10-01Fix a build warning, patch by nobled!Daniel Dunbar
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2010-06-28Fixed bug reported at:Cristian Cadar
2009-08-05klee-replay: Support running multiple tests in one invocation, and tweak outputDaniel Dunbar
2009-08-05Add klee-replay tool.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 09:05:15 +0000