diff options
| author | Marek Chalupa <chalupa@fi.muni.cz> | 2020-01-27 15:50:01 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-04-08 13:23:45 +0100 |
| commit | 91d185a174631337f1ecee8b57d3f600c3fb311c (patch) | |
| tree | 98dcb50fbc81d0b65746c6186bdeb0f1bfecbd33 /lib/Solver/KQueryLoggingSolver.cpp | |
| parent | 647a539052d11a2e96989ffa5dfc3fb1b021ca3f (diff) | |
| download | klee-91d185a174631337f1ecee8b57d3f600c3fb311c.tar.gz | |
readStringAtAddress: support pointer into objects
The code assumed that the passed pointer points at the beginning of the object. Remove this assumption and support any (constant) pointer. The string is read util either the end of the object is hit (in which case a warning is issued as the string was not zero terminated) or until the terminating zero is found.
Diffstat (limited to 'lib/Solver/KQueryLoggingSolver.cpp')
0 files changed, 0 insertions, 0 deletions