From 2da984bcb5e730bcd76f0d93af469de9ef29f469 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Thu, 28 Mar 2019 11:43:46 +0100 Subject: [PATCH] add todo to TOD module --- mythril/analysis/modules/transaction_order_dependence.py | 1 + 1 file changed, 1 insertion(+) diff --git a/mythril/analysis/modules/transaction_order_dependence.py b/mythril/analysis/modules/transaction_order_dependence.py index 4759d751..708d5b1a 100644 --- a/mythril/analysis/modules/transaction_order_dependence.py +++ b/mythril/analysis/modules/transaction_order_dependence.py @@ -13,6 +13,7 @@ from mythril.exceptions import UnsatError log = logging.getLogger(__name__) +# TODO: make callback & remove dependency from cfg class TxOrderDependenceModule(DetectionModule): """This module finds the existence of transaction order dependence."""