diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-04-03 15:58:18 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-19 12:05:22 +0000 |
commit | b723470d00f80ad5620b27e81f2afa9efdd95135 (patch) | |
tree | e602a56321f8561653ab89d2fbb43b1dcbe61fab /test/Feature/MakeSymbolicName.c | |
parent | 96a1dc82d0a96720cd48e0c8a286f14881098f99 (diff) | |
download | klee-b723470d00f80ad5620b27e81f2afa9efdd95135.tar.gz |
Fix ptr reference invalidation if last reference gets freed before new reference assigned.
Diffstat (limited to 'test/Feature/MakeSymbolicName.c')
0 files changed, 0 insertions, 0 deletions