diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-18 21:42:57 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-19 10:55:58 +0000 |
| commit | 1ffda389d8d20c212884b8a669ebb4cb24f1fa01 (patch) | |
| tree | c7602e6408f16163cad0d0611cbc302ed64c40e5 /runtime/POSIX/Makefile.cmake.bitcode | |
| parent | de7e2b94a5f9ee05496e6a65e7370d7270b38799 (diff) | |
| download | klee-1ffda389d8d20c212884b8a669ebb4cb24f1fa01.tar.gz | |
Fix `Feature/MemoryLimit.c` test when building KLEE with ASan.
When building with ASan the `mallinfo()` function is intercepted.
However the currently implementation is just a stub that always
returns 0. So instead use the public API of the sanitizer runtime
to get the amount of currently allocated memory when KLEE is built
with ASan.
Unfortunately it appears that the way to detect building with ASan
differs between Clang and GCC. There was also a sanitizer runtime
API change too.
This was tested with
* Clang 3.4, 3.5, and 3.9.0
* GCC 4.8, 4.9, 5.2, 5.4 and, 6.2.1.
Diffstat (limited to 'runtime/POSIX/Makefile.cmake.bitcode')
0 files changed, 0 insertions, 0 deletions