diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-09-04 21:42:47 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-06 10:55:45 +0100 |
| commit | 82fe5e60f1e1806b097bdd927f3313c73f8c8bbe (patch) | |
| tree | ffc33164b718fc84c72a24b5d0950ae6b4c94456 /lib/Basic | |
| parent | b893d2158ce001da97f2c741ac8320b4c3b9ed53 (diff) | |
| download | klee-82fe5e60f1e1806b097bdd927f3313c73f8c8bbe.tar.gz | |
Avoid Vararg non-deterministic allocation
Vararg test can fail if KLEE is able to resolve the intended out-of-bound memory address to a memory object. To avoid this, allocate memory explicitly deterministic with sufficient space between the allocations. Enables support for Mac OSX again
Diffstat (limited to 'lib/Basic')
0 files changed, 0 insertions, 0 deletions