DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

use all 1s just in case other-endian

Browse Source
This commit is contained in:
Alex Groce 2018-12-06 17:20:52 -07:00
parent c2745be882
commit 2f6dd8e047
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bin/deepstate/main_angr.py
View File

@ -283,7 +283,7 @@ def do_run_test(project, test, apis, run_state, should_call_state):
mc = DeepAngr(state=test_state)
# Tell the system that we're using symbolic execution.
mc.write_uint32_t(apis["UsingSymExec"], 1)
mc.write_uint32_t(apis["UsingSymExec"], 8589934591)
mc.begin_test(test)
del mc

2
bin/deepstate/main_manticore.py
View File

@ -337,7 +337,7 @@ def do_run_test(state, apis, test, hook_test=False):
mc = DeepManticore(state)
# Tell the system that we're using symbolic execution.
mc.write_uint32_t(apis["UsingSymExec"], 1)
mc.write_uint32_t(apis["UsingSymExec"], 8589934591)
mc.begin_test(test)
del mc