remove tests related to obsolete taint module

tests/taint_mutate_stack_test.py

@@ -1,30 +0,0 @@
-from mythril.laser.ethereum.taint_analysis import *
-
-
-def test_mutate_not_tainted():
-    # Arrange
-    record = TaintRecord()
-
-    record.stack = [True, False, False]
-    # Act
-    TaintRunner.mutate_stack(record, (2, 1))
-
-    # Assert
-    assert record.stack_tainted(0)
-    assert record.stack_tainted(1) is False
-    assert record.stack == [True, False]
-
-
-def test_mutate_tainted():
-    # Arrange
-    record = TaintRecord()
-
-    record.stack = [True, False, True]
-
-    # Act
-    TaintRunner.mutate_stack(record, (2, 1))
-
-    # Assert
-    assert record.stack_tainted(0)
-    assert record.stack_tainted(1)
-    assert record.stack == [True, True]

tests/taint_record_test.py

@@ -1,36 +0,0 @@
-from mythril.laser.ethereum.taint_analysis import *
-
-
-def test_record_tainted_check():
-    # arrange
-    record = TaintRecord()
-    record.stack = [True, False, True]
-
-    # act
-    tainted = record.stack_tainted(2)
-
-    # assert
-    assert tainted is True
-
-
-def test_record_untainted_check():
-    # arrange
-    record = TaintRecord()
-    record.stack = [True, False, False]
-
-    # act
-    tainted = record.stack_tainted(2)
-
-    # assert
-    assert tainted is False
-
-
-def test_record_untouched_check():
-    # arrange
-    record = TaintRecord()
-
-    # act
-    tainted = record.stack_tainted(3)
-
-    # assert
-    assert tainted is None

tests/taint_result_test.py

@@ -1,35 +0,0 @@
-from mythril.laser.ethereum.taint_analysis import *
-from mythril.laser.ethereum.state.global_state import GlobalState
-
-
-def test_result_state():
-    # arrange
-    taint_result = TaintResult()
-    record = TaintRecord()
-    state = GlobalState(2, None, None)
-    state.mstate.stack = [1, 2, 3]
-    record.add_state(state)
-    record.stack = [False, False, False]
-    # act
-    taint_result.add_records([record])
-    tainted = taint_result.check(state, 2)
-
-    # assert
-    assert tainted is False
-    assert record in taint_result.records
-
-
-def test_result_no_state():
-    # arrange
-    taint_result = TaintResult()
-    record = TaintRecord()
-    state = GlobalState(2, None, None)
-    state.mstate.stack = [1, 2, 3]
-
-    # act
-    taint_result.add_records([record])
-    tainted = taint_result.check(state, 2)
-
-    # assert
-    assert tainted is None
-    assert record in taint_result.records

tests/taint_runner_test.py

@@ -1,99 +0,0 @@
-import mock
-import pytest
-from pytest_mock import mocker
-from mythril.laser.ethereum.taint_analysis import *
-from mythril.laser.ethereum.cfg import Node, Edge
-from mythril.laser.ethereum.state.account import Account
-from mythril.laser.ethereum.state.environment import Environment
-from mythril.laser.ethereum.state.machine_state import MachineState
-from mythril.laser.ethereum.state.global_state import GlobalState
-from mythril.laser.ethereum.svm import LaserEVM
-
-
-def test_execute_state(mocker):
-    record = TaintRecord()
-    record.stack = [True, False, True]
-
-    state = GlobalState(None, None, None)
-    state.mstate.stack = [1, 2, 3]
-    mocker.patch.object(state, "get_current_instruction")
-    state.get_current_instruction.return_value = {"opcode": "ADD"}
-
-    # Act
-    new_record = TaintRunner.execute_state(record, state)
-
-    # Assert
-    assert new_record.stack == [True, True]
-    assert record.stack == [True, False, True]
-
-
-def test_execute_node(mocker):
-    record = TaintRecord()
-    record.stack = [True, True, False, False]
-
-    state_1 = GlobalState(None, None, None)
-    state_1.mstate.stack = [1, 2, 3, 1]
-    state_1.mstate.pc = 1
-    mocker.patch.object(state_1, "get_current_instruction")
-    state_1.get_current_instruction.return_value = {"opcode": "SWAP1"}
-
-    state_2 = GlobalState(None, 1, None)
-    state_2.mstate.stack = [1, 2, 4, 1]
-    mocker.patch.object(state_2, "get_current_instruction")
-    state_2.get_current_instruction.return_value = {"opcode": "ADD"}
-
-    node = Node("Test contract")
-    node.states = [state_1, state_2]
-
-    # Act
-    records = TaintRunner.execute_node(node, record)
-
-    # Assert
-    assert len(records) == 2
-
-    assert records[0].stack == [True, True, False, False]
-    assert records[1].stack == [True, True, False]
-
-    assert state_2 in records[0].states
-    assert state_1 in record.states
-
-
-def test_execute(mocker):
-    active_account = Account("0x00")
-    environment = Environment(active_account, None, None, None, None, None)
-    state_1 = GlobalState(None, environment, None, MachineState(gas_limit=8000000))
-    state_1.mstate.stack = [1, 2]
-    mocker.patch.object(state_1, "get_current_instruction")
-    state_1.get_current_instruction.return_value = {"opcode": "PUSH"}
-
-    state_2 = GlobalState(None, environment, None, MachineState(gas_limit=8000000))
-    state_2.mstate.stack = [1, 2, 3]
-    mocker.patch.object(state_2, "get_current_instruction")
-    state_2.get_current_instruction.return_value = {"opcode": "ADD"}
-
-    node_1 = Node("Test contract")
-    node_1.states = [state_1, state_2]
-
-    state_3 = GlobalState(None, environment, None, MachineState(gas_limit=8000000))
-    state_3.mstate.stack = [1, 2]
-    mocker.patch.object(state_3, "get_current_instruction")
-    state_3.get_current_instruction.return_value = {"opcode": "ADD"}
-
-    node_2 = Node("Test contract")
-    node_2.states = [state_3]
-
-    edge = Edge(node_1.uid, node_2.uid)
-
-    statespace = LaserEVM(None)
-    statespace.edges = [edge]
-    statespace.nodes[node_1.uid] = node_1
-    statespace.nodes[node_2.uid] = node_2
-
-    # Act
-    result = TaintRunner.execute(statespace, node_1, state_1, [True, True])
-
-    # Assert
-    print(result)
-    assert len(result.records) == 3
-    assert result.records[2].states == []
-    assert state_3 in result.records[1].states