#NEWLINE# def __init__( self , solver , address_size ) : #NEWLINE# #INDENT# self . _solver = solver #NEWLINE# self . _address_size = address_size #NEWLINE# self . _mem = self . _solver . mkArray ( address_size , 'MEM_0' ) #NEWLINE# self . _mem_instance = 0 #NEWLINE# self . _mem_init = self . _solver . mkArrayNew ( address_size , 'MEM_0' ) #NEWLINE# self . _var_name_mappers = { #NEWLINE# #INDENT# #NEWLINE# #UNINDENT# } #NEWLINE# self . _arch_regs_size = { #NEWLINE# #INDENT# #NEWLINE# #UNINDENT# } #NEWLINE# self . _arch_alias_mapper = { #NEWLINE# #INDENT# #NEWLINE# #UNINDENT# } #NEWLINE# self . _instr_translators = { #NEWLINE# #INDENT# ReilMnemonic . ADD : self . _translate_add , #NEWLINE# ReilMnemonic . SUB : self . _translate_sub , #NEWLINE# ReilMnemonic . MUL : self . _translate_mul , #NEWLINE# ReilMnemonic . DIV : self . _translate_div , #NEWLINE# ReilMnemonic . SDIV : self . _translate_sdiv , #NEWLINE# ReilMnemonic . MOD : self . _translate_mod , #NEWLINE# ReilMnemonic . SMOD : self . _translate_smod , #NEWLINE# ReilMnemonic . BSH : self . _translate_bsh , #NEWLINE# ReilMnemonic . AND : self . _translate_and , #NEWLINE# ReilMnemonic . OR : self . _translate_or , #NEWLINE# ReilMnemonic . XOR : self . _translate_xor , #NEWLINE# ReilMnemonic . LDM : self . _translate_ldm , #NEWLINE# ReilMnemonic . STM : self . _translate_stm , #NEWLINE# ReilMnemonic . STR : self . _translate_str , #NEWLINE# ReilMnemonic . BISZ : self . _translate_bisz , #NEWLINE# ReilMnemonic . JCC : self . _translate_jcc , #NEWLINE# ReilMnemonic . UNDEF : self . _translate_undef , #NEWLINE# ReilMnemonic . UNKN : self . _translate_unkn , #NEWLINE# ReilMnemonic . NOP : self . _translate_nop , #NEWLINE# ReilMnemonic . RET : self . _translate_ret , #NEWLINE# ReilMnemonic . SEXT : self . _translate_sext , #NEWLINE# #UNINDENT# }