From b98350c6587877a0831cdc367caab112ba340dc0 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Mon, 6 Nov 2017 21:37:14 +0700 Subject: [PATCH] Symbolic analysis --- mythril/analysis/symbolic.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/symbolic.py b/mythril/analysis/symbolic.py index ae49190c..b84e7457 100644 --- a/mythril/analysis/symbolic.py +++ b/mythril/analysis/symbolic.py @@ -62,7 +62,7 @@ class StateSpace: constrained_by_caller = False for constraint in self.svm.nodes[key].constraints: - if "caller" in str(constraint) and ("storage_" + index) in str(constraint): + if "caller" in str(constraint) and ("storage_" + str(index)) in str(constraint): constrained_by_caller = True break