From 000ef094f9694e1f07a996146d8364fb81f9365c Mon Sep 17 00:00:00 2001 From: Alexander Holman MBCS AMIAP Date: Tue, 16 Jan 2018 16:26:07 +0000 Subject: [PATCH] Update state.py (#709) replace `\0` with `NULL` as per issue #699 --- manticore/core/state.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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