From 228ea789ed9bbe22c35df6ea35319696ebed9b1e Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 9 Apr 2019 23:58:05 +0530 Subject: [PATCH] Remove the annotation removal --- mythril/analysis/modules/state_change_external_calls.py | 1 - 1 file changed, 1 deletion(-) diff --git a/mythril/analysis/modules/state_change_external_calls.py b/mythril/analysis/modules/state_change_external_calls.py index 01ae8354..0f4cb6f5 100644 --- a/mythril/analysis/modules/state_change_external_calls.py +++ b/mythril/analysis/modules/state_change_external_calls.py @@ -148,7 +148,6 @@ class StateChange(DetectionModule): if not annotation.state_change_states: continue vulnerabilities.append(annotation.get_issue(global_state)) - global_state.annotations.remove(annotation) return vulnerabilities @staticmethod