From f4e2b382e6b51c464fef4a6599b492915062bab5 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Mon, 10 Jun 2019 12:08:45 +0200 Subject: [PATCH] Do your black --- mythril/analysis/modules/integer.py | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index d0f1134d..c878501a 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -107,9 +107,7 @@ class IntegerOverflowUnderflowModule(DetectionModule): address = _get_address_from_state(state) - if ( - self._overflow_cache.get(address, False) - ): + if self._overflow_cache.get(address, False): return opcode = state.get_current_instruction()["opcode"] @@ -319,7 +317,11 @@ class IntegerOverflowUnderflowModule(DetectionModule): ostate = annotation.overflowing_state if ostate in self._ostates_unsatisfiable: - logging.info("Skipping ostate with address {}".format(ostate.get_current_instruction()["address"])) + logging.info( + "Skipping ostate with address {}".format( + ostate.get_current_instruction()["address"] + ) + ) continue if ostate not in self._ostates_satisfiable: