diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-02-23 22:09:04 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-17 22:38:16 +0000 |
| commit | 134571efec28aa754beaba829fe75f666c065845 (patch) | |
| tree | 63e8f6748da50f3677b79f029870d65b9ef81b27 /test/Feature | |
| parent | 38b07e7a89f103dc3b690be5382b5a0d9f5aa7fe (diff) | |
| download | klee-134571efec28aa754beaba829fe75f666c065845.tar.gz | |
Fix uninitialised memory access while reading last path entry
`>>` can fail and sets internal error information in the istream. Check the state of istream before pushing the value onto the buffer.
Diffstat (limited to 'test/Feature')
0 files changed, 0 insertions, 0 deletions