diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-02-23 21:51:45 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-17 22:38:16 +0000 |
| commit | dd492f8763f13312c17eb67af33e3e90217a30e1 (patch) | |
| tree | d1d1bf7ffdf3f890a5d5c3c5b6b7214bf60da845 /scripts/build/p-sanitizer-linux-ubuntu.inc | |
| parent | 71dc423262a91c012d708afc8b2e3cc3abdf49c3 (diff) | |
| download | klee-dd492f8763f13312c17eb67af33e3e90217a30e1.tar.gz | |
[MemSan] Mark memory objects modified by syscalls as initialised
Diffstat (limited to 'scripts/build/p-sanitizer-linux-ubuntu.inc')
0 files changed, 0 insertions, 0 deletions