From 5e9498b39dc2c17cf3780e7bcc417a0636ac3b48 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Mon, 10 Jun 2019 12:02:22 +0200 Subject: [PATCH] Reset all caches in reset_module --- mythril/analysis/modules/integer.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 2c977752..ac825904 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -98,6 +98,8 @@ class IntegerOverflowUnderflowModule(DetectionModule): """ super().reset_module() self._overflow_cache = {} + self._ostates_satisfiable = [] + self._ostates_unsatisfiable = [] def _execute(self, state: GlobalState) -> None: """Executes analysis module for integer underflow and integer overflow.