Update integer

6 years ago · 5fee666198
parent 89ea53401f
commit 5fee666198
1 changed files with 1 additions and 0 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -87,6 +87,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
        """
        Cache satisfiability of overflow constraints
        """
        self._ostates_satisfiable = []  # type: List[GlobalState]
        self._ostates_unsatisfiable = []  # type: List[GlobalState]