DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Merge pull request #71 from trailofbits/cmd-verbosity

Browse Source 
Added verbosity command line flag
This commit is contained in:
Alex Groce 2018-07-15 16:29:33 -07:00 committed by GitHub
commit 40f2e14a21
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/deepstate/common.py
View File

@ -128,6 +128,10 @@ class DeepState(object):
"--klee", action='store_true', "--klee", action='store_true',
help="Expect the test binary to use the KLEE API and use `main()` as entry point.") help="Expect the test binary to use the KLEE API and use `main()` as entry point.")
parser.add_argument(
"--verbosity", default=1, type=int,
help="Verbosity level.")
parser.add_argument( parser.add_argument(
"binary", type=str, help="Path to the test binary to run.") "binary", type=str, help="Path to the test binary to run.")

2
bin/deepstate/main_manticore.py
View File

@ -447,7 +447,7 @@ def main():
args.binary, e)) args.binary, e))
return 1 return 1
m.verbosity(1) m.verbosity(args.verbosity)
# Hack to get around current broken _get_symbol_address # Hack to get around current broken _get_symbol_address
m._binary_type = 'not elf' m._binary_type = 'not elf'