index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
runtime
Age
Commit message (
Expand
)
Author
2023-03-17
[cmake] Use LLVM's CMake functionality only
Martin Nowack
2023-03-16
Fixed a bug in KLEE libc's implementation of strcmp: according to the C stand...
Cristian Cadar
2022-09-14
Add notes about how to keep in sync runtime with LLVM project
Pavel
2022-09-14
Add README to UBSan runtime
Pavel
2022-09-14
Eliminate .undefined_behavior.err category and simplify tests
Pavel
2022-09-14
Remove LLVM version < 9
Pavel
2022-09-14
Remove LLVM version < 6
Pavel
2022-09-14
Introduce separate categories for different kinds of undefined behavior
Pavel
2022-09-14
Support UBSan-enabled binaries
Pavel Yatcheniy
2022-08-19
Corrected wrong usage of klee_report_error in __cxa_atexit handler
Pavel
2022-07-07
POSIX runtime: fstatat: check for nonnull path APIs
Frank Busse
2022-06-27
Define stat64 to be stat on MacOS. This fixes compilation on more recent mac...
Cristian Cadar
2022-03-17
remove LLVM < 6 from build/test scripts
Frank Busse
2022-01-04
Use more precise version check for selecting swapoff() signature.
Gleb Popov
2021-12-24
Added correct signature for swapoff on FreeBSD (to solve recent CI failures)
Cristian Cadar
2021-04-30
posix runtime: add malloc checks
Frank Busse
2021-02-22
runtime/POSIX: fix failures with glibc-2.33
Jiri Slaby
2020-12-23
posix runtime: getcwd: check malloc and set errno
Frank Busse
2020-12-23
klee-libc: simplify mempcpy
Frank Busse
2020-12-23
posix runtime: remove dead branch
Frank Busse
2020-12-18
fix cflags for runtime build types
Julian Büning
2020-12-04
Only build 32bit runtime libraries if supported by platform
Martin Nowack
2020-12-04
Declare mempcpy on macOS, to silence compiler warnings
Cristian Cadar
2020-11-09
Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ...
Cristian Cadar
2020-11-09
Added fortified versions for the functions in the klee-libc library
Cristian Cadar
2020-11-09
Since the runtime now contains fortified libc functions, it is important to c...
Cristian Cadar
2020-11-09
Added fortified versions for the functions in the freestanding library.
Cristian Cadar
2020-11-04
Rename FreeStanding to Freestanding where appropriate
Martin Nowack
2020-11-04
[cmake] Add support to generate arbitrary runtime library configurations
Martin Nowack
2020-11-03
fix: bcmp with n==0
Alastair Reid
2020-10-30
Call functions in __cxa_atexit in reverse order
Tomas Jasek
2020-10-12
address MartinNowack's remaining feedback
Julian Büning
2020-10-12
Exception handling only for LLVM >= 8.0.0
Julian Büning
2020-10-12
fix cxa_exception include for older LLVM versions
Julian Büning
2020-10-12
fix building klee-cxxabi
Julian Büning
2020-10-12
Implemented support for C++ Exceptions
Felix Rath
2020-10-06
Ran clang-format on intrinsics.c and removed unneeded comment
Cristian Cadar
2020-10-06
Added support for klee_open_merge and klee_close_merge in replay, together wi...
Cristian Cadar
2020-08-28
Definition of __cxa_thread_atexit_impl for the KLEE libc.
Alastair Reid
2020-08-07
New intrinsic: klee_is_replay
Alastair Reid
2020-04-30
Removed the Internal directory from include/klee
Cristian Cadar
2020-04-09
[posix-runtime] Improve model to handle full-path symbolic files
Timotej Kapus
2020-03-22
[posix-runtime] Simple GET/SET_LK model
Timotej Kapus
2019-11-09
Compile fd_64.c file of POSIX runtime correctly on FreeBSD - append "64" suffix
Gleb Popov
2019-11-07
Allow main with 3 arguments
Cristian Cadar
2019-11-05
Do not modify strings if they are read-only.
Martin Nowack
2019-11-05
runtime: fix for glibc 2.30
Jiri Slaby
2019-10-31
klee-libc: add bcmp
Julian Büning
2019-08-01
gen(-random)-bout: add --bout-file flag
Frank Busse
2019-07-30
Use #include "klee/..." (instead of #include <klee/...>) consistently.
Cristian Cadar
[next]