mythril/tests/evmcontract_test.py

from mythril.ethereum.evmcontract import EVMContract
from tests import BaseTestCase


class EVMContractTestCase(BaseTestCase):
    def setUp(self):
        """"""
        super().setUp()
        self.code = "0x60606040525b603c5b60006010603e565b9050593681016040523660008237602060003683856040603f5a0204f41560545760206000f35bfe5b50565b005b73c3b2ae46792547a96b9f84405e36d0e07edcd05c5b905600a165627a7a7230582062a884f947232ada573f95940cce9c8bfb7e4e14e21df5af4e884941afb55e590029"
        self.creation_code = "0x60606040525b603c5b60006010603e565b9050593681016040523660008237602060003683856040603f5a0204f41560545760206000f35bfe5b50565b005b73c3b2ae46792547a96b9f84405e36d0e07edcd05c5b905600a165627a7a7230582062a884f947232ada573f95940cce9c8bfb7e4e14e21df5af4e884941afb55e590029"


class Getinstruction_listTestCase(EVMContractTestCase):
    def runTest(self):
        """"""
        contract = EVMContract(self.code, self.creation_code)

        disassembly = contract.disassembly

        self.assertEqual(
            len(disassembly.instruction_list),
            53,
            "Error disassembling code using EVMContract.get_instruction_list()",
        )


class GetEASMTestCase(EVMContractTestCase):
    def runTest(self):
        """"""
        contract = EVMContract(self.code)

        instruction_list = contract.get_easm()

        self.assertTrue(
            "PUSH1 0x60" in instruction_list,
            "Error obtaining EASM code through EVMContract.get_easm()",
        )


class MatchesExpressionTestCase(EVMContractTestCase):
    def runTest(self):
        """"""
        contract = EVMContract(self.code)

        self.assertTrue(
            contract.matches_expression("code#PUSH1# or code#PUSH1#"),
            "Unexpected result in expression matching",
        )
        self.assertFalse(
            contract.matches_expression("func#abcdef#"),
            "Unexpected result in expression matching",
        )