about summary refs log tree commit diff homepage
path: root/runtime/POSIX
AgeCommit message (Expand)Author
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
2022-07-07POSIX runtime: fstatat: check for nonnull path APIsFrank Busse
2022-06-27Define stat64 to be stat on MacOS. This fixes compilation on more recent mac...Cristian Cadar
2022-01-04Use more precise version check for selecting swapoff() signature.Gleb Popov
2021-12-24Added correct signature for swapoff on FreeBSD (to solve recent CI failures)Cristian Cadar
2021-04-30posix runtime: add malloc checksFrank Busse
2021-02-22runtime/POSIX: fix failures with glibc-2.33Jiri Slaby
2020-12-23posix runtime: getcwd: check malloc and set errnoFrank Busse
2020-12-23posix runtime: remove dead branchFrank Busse
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin Nowack
2020-04-09[posix-runtime] Improve model to handle full-path symbolic filesTimotej Kapus
2020-03-22[posix-runtime] Simple GET/SET_LK modelTimotej Kapus
2019-11-09Compile fd_64.c file of POSIX runtime correctly on FreeBSD - append "64" suffixGleb Popov
2019-11-07Allow main with 3 argumentsCristian Cadar
2019-11-05Do not modify strings if they are read-only.Martin Nowack
2019-11-05runtime: fix for glibc 2.30Jiri Slaby
2019-08-01gen(-random)-bout: add --bout-file flagFrank Busse
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-06-04make include guard naming consistentJulian Büning
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-05-06Fix compilation of POSIX runtime on FreeBSD 11.Gleb Popov
2019-05-06Fix build of POSIX runtime on FreeBSD i386.Gleb Popov
2019-04-29More FreeBSD related fixes to POSIX runtime.Gleb Popov
2019-04-02POSIX runtime fixes for FreeBSD.Gleb Popov
2018-10-08add support for klee-replay on OSXFrank Busse
2018-09-29Changed code to create up to 100 properly-numbered symbolic arguments, and ad...Cristian Cadar
2018-09-29Add checks for correct usage of the POSIX model, together with an associated ...Cristian Cadar
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2018-09-06runtime: fix memory error in canonicalize_file_nameFrank Busse
2018-05-07Fixed utimes() behavior for symbolic files when the second argument is NULLyxliang01
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-08-09Fixed a bug causing KLEE to generate files with no permissions bits set. Th...Cristian Cadar
2017-03-28Merge pull request #616 from jirislaby/glibc_225Cristian Cadar
2017-03-20runtime: POSIX, check path prior dereferenceJiri Slaby
2017-03-15runtime: POSIX, make it compile with glibc 2.25Jiri Slaby
2016-12-28Changed preferred permissions from 0622 to the more standard 0644.Cristian Cadar
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-08-19Added -save-all-writes to klee_init_env help messageAndrea Mattavelli
2016-05-31Merge pull request #405 from ccadar/timesCristian Cadar
2016-05-27Improved help message for POSIX environment options.Cristian Cadar
2016-05-27Fixed the stub for times() not to dereference a NULL pointer when call with a...Cristian Cadar
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2016-03-05Fix SELinux signatures in runtimeLaszlo Szekeres
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-04-25Clean up the installation/building of the runtime libraries.Dan Liew
2014-09-14Replace fprintf with klee_warnings for POSIX libMartin Nowack
2013-11-15Merge branch 'master' of https://github.com/ccadar/kleeCristian Cadar
2013-11-15Removed testing-env file. As for testing-dir that was removed in aCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 18:14:48 +0000