Require regex on storage to end on an integer

7 years ago · 7adcb45b57
parent 3e3df2562d
commit 7adcb45b57
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/modules/transaction_order_independence.py
+++ b/mythril/analysis/modules/transaction_order_independence.py
@ -54,7 +54,7 @@ def _get_states_with_opcode(statespace, opcode):

 def _dependent_on_storage(expression):
    """ Checks if expression is dependent on a storage symbol and returns the influencing storages"""
-    pattern = re.compile(r"storage_[a-z0-9_&^]+")
+    pattern = re.compile(r"storage_[a-z0-9_&^]*[0-9]+")
    return pattern.findall(str(simplify(expression)))