| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-08-19 | Corrected wrong usage of klee_report_error in __cxa_atexit handler | Pavel | |
| 2020-10-30 | Call functions in __cxa_atexit in reverse order | Tomas Jasek | |
| 2020-08-28 | Definition of __cxa_thread_atexit_impl for the KLEE libc. | Alastair Reid | |
| This is a thread-local version of __cxa_atexit (but, in the absence of threads, it is sufficient to just call __cxa_atexit). The test is based on the existing test for atexit in test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c The motivation for adding this function is to support the Rust standard library that calls __cxa_thread_atexit_impl. This function is usually a weak symbol but, in KLEE, this behaves like a call to an unknown function and chaos ensues. Worse, it happens just as the program is cleanly shutting itself down, so programs that are cleanly exiting crash with the wrong message. | |||
| 2015-04-01 | [runtime] Fix comments to c style for c files and headers | Martin Nowack | |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar | |
| - Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |