

def test_store_mem_1(self):
    asm_instrs = self._asm_parser.parse('mov [eax], ebx')
    self.__set_address(3735928559, [asm_instrs])
    reil_instrs = self._translator.translate(asm_instrs)
    regs_initial = {
        'eax': 3405695742,
        'ebx': 2,
    }
    self._emulator.set_register_taint('ebx', True)
    (regs_final, _) = self._emulator.execute_lite(reil_instrs, context=regs_initial)
    self.assertEqual(self._emulator.get_memory_taint(regs_initial['eax'], 4), True)

dataset/ETHPy150Open programa-stic/barf-project/barf/tests/core/reil/test_reilemulator.py ReilEmulatorTaintTests.test_store_mem_1/original