DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

start on symex logging changes

Browse Source
This commit is contained in:
Alex Groce 2019-01-02 15:37:19 -07:00
parent caa3d33429
commit 4bc1a3c00d
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
bin/deepstate/common.py
View File

@ -137,7 +137,11 @@ class DeepState(object):
parser.add_argument(
"--verbosity", default=1, type=int,
help="Verbosity level.")
help="Verbosity level for symbolic execution tool.")
parser.add_argument(
"--log_level", default=2, type=int,
help="Log level (DeepState logging).")
parser.add_argument(
"binary", type=str, help="Path to the test binary to run.")
@ -240,7 +244,7 @@ class DeepState(object):
self.context['stream_{}'.format(level)] = []
self.context['info'] = info
self.log_message(LOG_LEVEL_INFO, "Running {} from {}({})".format(
self.log_message(LOG_LEVEL_TRACE, "Running {} from {}({})".format(
info.name, info.file_name, info.line_number))
apis = self.context['apis']
@ -385,7 +389,7 @@ class DeepState(object):
# Print out the first few input bytes to be helpful.
lots_of_bytes = len(input_bytes) > 20 and " ..." or ""
bytes_to_show = min(20, len(input_bytes))
LOGGER.info("Input: {}{}".format(
LOGGER.trace("Input: {}{}".format(
" ".join("{:02x}".format(b) for b in input_bytes[:bytes_to_show]),
lots_of_bytes))
@ -494,7 +498,7 @@ class DeepState(object):
self.api_fail()
else:
info = self.context['info']
self.log_message(LOG_LEVEL_INFO, "Passed: {}".format(info.name))
self.log_message(LOG_LEVEL_TRACE, "Passed: {}".format(info.name))
self.pass_test()
def api_crash(self):