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