DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Update main_manticore.py

Browse Source
This commit is contained in:
Peter Goodman 2018-02-19 11:45:23 +08:00 committed by GitHub
parent 1294def677
commit 956ee3261e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/deepstate/main_manticore.py
View File

@ -231,13 +231,13 @@ def hook_ConcretizeCStr(state, begin_ea):
def hook_MinUInt(self, val):
"""Implements the `Deeptate_MinUInt` API function, which lets the
programmer ask for the minimum satisfiable value of an unsigned integer."""
return DeepAngr(procedure=self).api_min_uint(val)
return DeepManticore(procedure=self).api_min_uint(val)
def hook_MaxUInt(self, val):
"""Implements the `Deeptate_MaxUInt` API function, which lets the
programmer ask for the minimum satisfiable value of a signed integer."""
return DeepAngr(procedure=self).api_max_uint(val)
return DeepManticore(procedure=self).api_max_uint(val)
def hook_Log(state, level, ea):