| """ This module implement Dwarf expression opcode parser. """ |
| |
| import lldb |
| |
| # DWARF Expression operators. |
| DW_OP_addr = 0x03 |
| DW_OP_deref = 0x06 |
| DW_OP_const1u = 0x08 |
| DW_OP_const1s = 0x09 |
| DW_OP_const2u = 0x0A |
| DW_OP_const2s = 0x0B |
| DW_OP_const4u = 0x0C |
| DW_OP_const4s = 0x0D |
| DW_OP_const8u = 0x0E |
| DW_OP_const8s = 0x0F |
| DW_OP_constu = 0x10 |
| DW_OP_consts = 0x11 |
| DW_OP_dup = 0x12 |
| DW_OP_drop = 0x13 |
| DW_OP_over = 0x14 |
| DW_OP_pick = 0x15 |
| DW_OP_swap = 0x16 |
| DW_OP_rot = 0x17 |
| DW_OP_xderef = 0x18 |
| DW_OP_abs = 0x19 |
| DW_OP_and = 0x1A |
| DW_OP_div = 0x1B |
| DW_OP_minus = 0x1C |
| DW_OP_mod = 0x1D |
| DW_OP_mul = 0x1E |
| DW_OP_neg = 0x1F |
| DW_OP_not = 0x20 |
| DW_OP_or = 0x21 |
| DW_OP_plus = 0x22 |
| DW_OP_plus_uconst = 0x23 |
| DW_OP_shl = 0x24 |
| DW_OP_shr = 0x25 |
| DW_OP_shra = 0x26 |
| DW_OP_xor = 0x27 |
| DW_OP_skip = 0x2F |
| DW_OP_bra = 0x28 |
| DW_OP_eq = 0x29 |
| DW_OP_ge = 0x2A |
| DW_OP_gt = 0x2B |
| DW_OP_le = 0x2C |
| DW_OP_lt = 0x2D |
| DW_OP_ne = 0x2E |
| DW_OP_lit0 = 0x30 |
| DW_OP_lit1 = 0x31 |
| DW_OP_lit2 = 0x32 |
| DW_OP_lit3 = 0x33 |
| DW_OP_lit4 = 0x34 |
| DW_OP_lit5 = 0x35 |
| DW_OP_lit6 = 0x36 |
| DW_OP_lit7 = 0x37 |
| DW_OP_lit8 = 0x38 |
| DW_OP_lit9 = 0x39 |
| DW_OP_lit10 = 0x3A |
| DW_OP_lit11 = 0x3B |
| DW_OP_lit12 = 0x3C |
| DW_OP_lit13 = 0x3D |
| DW_OP_lit14 = 0x3E |
| DW_OP_lit15 = 0x3F |
| DW_OP_lit16 = 0x40 |
| DW_OP_lit17 = 0x41 |
| DW_OP_lit18 = 0x42 |
| DW_OP_lit19 = 0x43 |
| DW_OP_lit20 = 0x44 |
| DW_OP_lit21 = 0x45 |
| DW_OP_lit22 = 0x46 |
| DW_OP_lit23 = 0x47 |
| DW_OP_lit24 = 0x48 |
| DW_OP_lit25 = 0x49 |
| DW_OP_lit26 = 0x4A |
| DW_OP_lit27 = 0x4B |
| DW_OP_lit28 = 0x4C |
| DW_OP_lit29 = 0x4D |
| DW_OP_lit30 = 0x4E |
| DW_OP_lit31 = 0x4F |
| DW_OP_reg0 = 0x50 |
| DW_OP_reg1 = 0x51 |
| DW_OP_reg2 = 0x52 |
| DW_OP_reg3 = 0x53 |
| DW_OP_reg4 = 0x54 |
| DW_OP_reg5 = 0x55 |
| DW_OP_reg6 = 0x56 |
| DW_OP_reg7 = 0x57 |
| DW_OP_reg8 = 0x58 |
| DW_OP_reg9 = 0x59 |
| DW_OP_reg10 = 0x5A |
| DW_OP_reg11 = 0x5B |
| DW_OP_reg12 = 0x5C |
| DW_OP_reg13 = 0x5D |
| DW_OP_reg14 = 0x5E |
| DW_OP_reg15 = 0x5F |
| DW_OP_reg16 = 0x60 |
| DW_OP_reg17 = 0x61 |
| DW_OP_reg18 = 0x62 |
| DW_OP_reg19 = 0x63 |
| DW_OP_reg20 = 0x64 |
| DW_OP_reg21 = 0x65 |
| DW_OP_reg22 = 0x66 |
| DW_OP_reg23 = 0x67 |
| DW_OP_reg24 = 0x68 |
| DW_OP_reg25 = 0x69 |
| DW_OP_reg26 = 0x6A |
| DW_OP_reg27 = 0x6B |
| DW_OP_reg28 = 0x6C |
| DW_OP_reg29 = 0x6D |
| DW_OP_reg30 = 0x6E |
| DW_OP_reg31 = 0x6F |
| DW_OP_breg0 = 0x70 |
| DW_OP_breg1 = 0x71 |
| DW_OP_breg2 = 0x72 |
| DW_OP_breg3 = 0x73 |
| DW_OP_breg4 = 0x74 |
| DW_OP_breg5 = 0x75 |
| DW_OP_breg6 = 0x76 |
| DW_OP_breg7 = 0x77 |
| DW_OP_breg8 = 0x78 |
| DW_OP_breg9 = 0x79 |
| DW_OP_breg10 = 0x7A |
| DW_OP_breg11 = 0x7B |
| DW_OP_breg12 = 0x7C |
| DW_OP_breg13 = 0x7D |
| DW_OP_breg14 = 0x7E |
| DW_OP_breg15 = 0x7F |
| DW_OP_breg16 = 0x80 |
| DW_OP_breg17 = 0x81 |
| DW_OP_breg18 = 0x82 |
| DW_OP_breg19 = 0x83 |
| DW_OP_breg20 = 0x84 |
| DW_OP_breg21 = 0x85 |
| DW_OP_breg22 = 0x86 |
| DW_OP_breg23 = 0x87 |
| DW_OP_breg24 = 0x88 |
| DW_OP_breg25 = 0x89 |
| DW_OP_breg26 = 0x8A |
| DW_OP_breg27 = 0x8B |
| DW_OP_breg28 = 0x8C |
| DW_OP_breg29 = 0x8D |
| DW_OP_breg30 = 0x8E |
| DW_OP_breg31 = 0x8F |
| DW_OP_regx = 0x90 |
| DW_OP_fbreg = 0x91 |
| DW_OP_bregx = 0x92 |
| DW_OP_piece = 0x93 |
| DW_OP_deref_size = 0x94 |
| DW_OP_xderef_size = 0x95 |
| DW_OP_nop = 0x96 |
| DW_OP_push_object_address = 0x97 |
| DW_OP_call2 = 0x98 |
| DW_OP_call4 = 0x99 |
| DW_OP_call_ref = 0x9A |
| DW_OP_form_tls_address = 0x9B |
| DW_OP_call_frame_cfa = 0x9C |
| DW_OP_bit_piece = 0x9D |
| DW_OP_implicit_value = 0x9E |
| DW_OP_stack_value = 0x9F |
| DW_OP_lo_user = 0xE0 |
| DW_OP_GNU_push_tls_address = 0xE0 |
| DW_OP_hi_user = 0xFF |
| |
| |
| class DwarfOpcodeParser(object): |
| |
| def updateRegInfoBitsize(self, reg_info, byte_order): |
| """ Update the regInfo bit size. """ |
| |
| # Evaluate Dwarf Expression |
| expr_result = self.evaluateDwarfExpression(reg_info["dynamic_size_dwarf_expr_bytes"], |
| byte_order) |
| |
| if expr_result == 0: |
| reg_info["bitsize"] = 32 |
| elif expr_result == 1: |
| reg_info["bitsize"] = 64 |
| |
| |
| def evaluateDwarfExpression(self, dwarf_opcode, byte_order): |
| """Evaluate Dwarf Expression. """ |
| |
| dwarf_opcode = [dwarf_opcode[i:i+2] for i in range(0,len(dwarf_opcode),2)] |
| dwarf_data = [] |
| for index in range(len(dwarf_opcode)): |
| |
| if index < len(dwarf_opcode): |
| val = int(dwarf_opcode[index], 16) |
| else: |
| break |
| |
| if val == DW_OP_regx: |
| # Read register number |
| self.assertTrue(len(dwarf_opcode) > (index + 1)) |
| reg_no = int(dwarf_opcode.pop(index + 1), 16) |
| |
| self.reset_test_sequence() |
| # Read register value |
| self.test_sequence.add_log_lines( |
| ["read packet: $p{0:x}#00".format(reg_no), |
| {"direction": "send", "regex": r"^\$([0-9a-fA-F]+)#", |
| "capture": {1: "p_response"}}],True) |
| |
| Context = self.expect_gdbremote_sequence() |
| self.assertIsNotNone(Context) |
| p_response = Context.get("p_response") |
| self.assertIsNotNone(p_response) |
| |
| if byte_order == lldb.eByteOrderLittle: |
| # In case of little endian |
| # first decode the HEX ASCII bytes and then reverse it |
| # to get actual value of SR register |
| p_response = "".join(reversed([p_response[i:i+2] for i in range(0, |
| len(p_response),2)])) |
| # Push register value |
| dwarf_data.append(int(p_response,16)) |
| |
| elif val == DW_OP_lit1: |
| # Push literal 1 |
| dwarf_data.append(1) |
| |
| elif val == DW_OP_lit26: |
| # Push literal 26 |
| dwarf_data.append(26) |
| |
| elif val == DW_OP_shl: |
| # left shift and push the result back |
| self.assertTrue(len(dwarf_data) > 1) |
| shift_amount = dwarf_data.pop() |
| val_to_shift = dwarf_data.pop() |
| result = val_to_shift << shift_amount |
| dwarf_data.append(result) |
| |
| elif val == DW_OP_shr: |
| # Right shift and push the result back |
| self.assertTrue(len(dwarf_data) > 1) |
| shift_amount = dwarf_data.pop() |
| val_to_shift = dwarf_data.pop() |
| result = val_to_shift >> shift_amount |
| dwarf_data.append(result) |
| |
| elif val == DW_OP_and: |
| # And of topmost 2 elements and push the result back |
| first_ele = dwarf_data.pop() |
| second_ele = dwarf_data.pop() |
| result = first_ele & second_ele |
| dwarf_data.append(result) |
| |
| else: |
| self.assertTrue(False and "Unprocess Dwarf Opcode") |
| |
| self.assertTrue(len(dwarf_data) == 1) |
| expr_result = dwarf_data.pop() |
| return expr_result |
| |
