From 64ea5678eb16da624fc905856e8198127316ce44 Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Sun, 29 Apr 2018 10:01:29 +0200
Subject: [PATCH] Init tod detection

---
 .../modules/transaction_order_independence.py | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 mythril/analysis/modules/transaction_order_independence.py

diff --git a/mythril/analysis/modules/transaction_order_independence.py b/mythril/analysis/modules/transaction_order_independence.py
new file mode 100644
index 00000000..a62ee7fd
--- /dev/null
+++ b/mythril/analysis/modules/transaction_order_independence.py
@@ -0,0 +1,27 @@
+from z3 import *
+from mythril.analysis.ops import *
+from mythril.analysis import solver
+from mythril.analysis.report import Issue
+from mythril.exceptions import UnsatError
+import re
+import logging
+
+
+'''
+MODULE DESCRIPTION:
+
+'''
+
+
+def execute(statespace):
+
+    logging.debug("Executing module: ETHER_SEND")
+
+    issues = []
+
+    for call in statespace.calls:
+
+        state = call.state
+        address = state.get_current_instruction()['address']
+
+    return issues