diff --git a/manticore/core/state.py b/manticore/core/state.py index 77c8c7a..c5e99dd 100644 --- a/manticore/core/state.py +++ b/manticore/core/state.py @@ -194,7 +194,7 @@ class State(Eventful): :param int nbytes: Length of the new buffer :param str label: (keyword arg only) The label to assign to the buffer :param bool cstring: (keyword arg only) Whether or not to enforce that the buffer is a cstring - (i.e. no \0 bytes, except for the last byte). (bool) + (i.e. no NULL bytes, except for the last byte). (bool) :param taint: Taint identifier of the new buffer :type taint: tuple or frozenset @@ -234,7 +234,7 @@ class State(Eventful): this is the identity function on the first argument. :param str label: The label to assign to the value :param str wildcard: The byte that is considered a wildcard - :param bool string: Ensure bytes returned can not be \0 + :param bool string: Ensure bytes returned can not be NULL :param taint: Taint identifier of the symbolicated data :type taint: tuple or frozenset