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 /docs | |
| 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 'docs')
0 files changed, 0 insertions, 0 deletions