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 /Makefile | |
| 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 'Makefile')
0 files changed, 0 insertions, 0 deletions