From 23a1da2c7c9e3e5c0096c279d43922f488521c55 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Sat, 14 Jul 2018 09:44:03 -0300 Subject: [PATCH] Fix for hook_MaxUInt and hook_MinUInt in Manticore (untested!) --- bin/deepstate/main_manticore.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index 6b55203..11215f2 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -226,16 +226,16 @@ def hook_ConcretizeCStr(state, begin_ea): return DeepManticore(state).api_concretize_cstr(begin_ea) -def hook_MinUInt(self, val): +def hook_MinUInt(state, val): """Implements the `Deeptate_MinUInt` API function, which lets the programmer ask for the minimum satisfiable value of an unsigned integer.""" - return DeepManticore(procedure=self).api_min_uint(val) + return DeepManticore(state).api_min_uint(val) -def hook_MaxUInt(self, val): +def hook_MaxUInt(state, val): """Implements the `Deeptate_MaxUInt` API function, which lets the programmer ask for the minimum satisfiable value of a signed integer.""" - return DeepManticore(procedure=self).api_max_uint(val) + return DeepManticore(state).api_max_uint(val) def hook_Log(state, level, ea):