1942 lines
40 KiB
C++
1942 lines
40 KiB
C++
/*
|
|
* Copyright (C) 2017 The Android Open Source Project
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
#include <stdint.h>
|
|
|
|
#include <deque>
|
|
#include <string>
|
|
#include <vector>
|
|
|
|
#include <android-base/stringprintf.h>
|
|
|
|
#include <unwindstack/DwarfError.h>
|
|
#include <unwindstack/DwarfMemory.h>
|
|
#include <unwindstack/Log.h>
|
|
#include <unwindstack/Memory.h>
|
|
#include <unwindstack/Regs.h>
|
|
|
|
#include "DwarfOp.h"
|
|
|
|
namespace unwindstack {
|
|
|
|
enum DwarfOpHandleFunc : uint8_t {
|
|
OP_ILLEGAL = 0,
|
|
OP_DEREF,
|
|
OP_DEREF_SIZE,
|
|
OP_PUSH,
|
|
OP_DUP,
|
|
OP_DROP,
|
|
OP_OVER,
|
|
OP_PICK,
|
|
OP_SWAP,
|
|
OP_ROT,
|
|
OP_ABS,
|
|
OP_AND,
|
|
OP_DIV,
|
|
OP_MINUS,
|
|
OP_MOD,
|
|
OP_MUL,
|
|
OP_NEG,
|
|
OP_NOT,
|
|
OP_OR,
|
|
OP_PLUS,
|
|
OP_PLUS_UCONST,
|
|
OP_SHL,
|
|
OP_SHR,
|
|
OP_SHRA,
|
|
OP_XOR,
|
|
OP_BRA,
|
|
OP_EQ,
|
|
OP_GE,
|
|
OP_GT,
|
|
OP_LE,
|
|
OP_LT,
|
|
OP_NE,
|
|
OP_SKIP,
|
|
OP_LIT,
|
|
OP_REG,
|
|
OP_REGX,
|
|
OP_BREG,
|
|
OP_BREGX,
|
|
OP_NOP,
|
|
OP_NOT_IMPLEMENTED,
|
|
};
|
|
|
|
struct OpCallback {
|
|
// It may seem tempting to "clean this up" by replacing "const char[26]" with
|
|
// "const char*", but doing so would place the entire callback table in
|
|
// .data.rel.ro section, instead of .rodata section, and thus increase
|
|
// dirty memory usage. Libunwindstack is used by the linker and therefore
|
|
// loaded for every running process, so every bit of memory counts.
|
|
// Unlike C standard, C++ standard guarantees this array is big enough to
|
|
// store the names, or else we would get a compilation error.
|
|
const char name[26];
|
|
|
|
// Similarily for this field, we do NOT want to directly store function
|
|
// pointers here. Not only would that cause the callback table to be placed
|
|
// in .data.rel.ro section, but it would be duplicated for each AddressType.
|
|
// Instead, we use DwarfOpHandleFunc enum to decouple the callback table from
|
|
// the function pointers.
|
|
DwarfOpHandleFunc handle_func;
|
|
|
|
uint8_t num_required_stack_values;
|
|
uint8_t num_operands;
|
|
uint8_t operands[2];
|
|
};
|
|
|
|
constexpr static OpCallback kCallbackTable[256] = {
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0x00 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0x01 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0x02 illegal op
|
|
{
|
|
// 0x03 DW_OP_addr
|
|
"DW_OP_addr",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_absptr},
|
|
},
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0x04 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0x05 illegal op
|
|
{
|
|
// 0x06 DW_OP_deref
|
|
"DW_OP_deref",
|
|
OP_DEREF,
|
|
1,
|
|
0,
|
|
{},
|
|
},
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0x07 illegal op
|
|
{
|
|
// 0x08 DW_OP_const1u
|
|
"DW_OP_const1u",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata1},
|
|
},
|
|
{
|
|
// 0x09 DW_OP_const1s
|
|
"DW_OP_const1s",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sdata1},
|
|
},
|
|
{
|
|
// 0x0a DW_OP_const2u
|
|
"DW_OP_const2u",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata2},
|
|
},
|
|
{
|
|
// 0x0b DW_OP_const2s
|
|
"DW_OP_const2s",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sdata2},
|
|
},
|
|
{
|
|
// 0x0c DW_OP_const4u
|
|
"DW_OP_const4u",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata4},
|
|
},
|
|
{
|
|
// 0x0d DW_OP_const4s
|
|
"DW_OP_const4s",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sdata4},
|
|
},
|
|
{
|
|
// 0x0e DW_OP_const8u
|
|
"DW_OP_const8u",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata8},
|
|
},
|
|
{
|
|
// 0x0f DW_OP_const8s
|
|
"DW_OP_const8s",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sdata8},
|
|
},
|
|
{
|
|
// 0x10 DW_OP_constu
|
|
"DW_OP_constu",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_uleb128},
|
|
},
|
|
{
|
|
// 0x11 DW_OP_consts
|
|
"DW_OP_consts",
|
|
OP_PUSH,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x12 DW_OP_dup
|
|
"DW_OP_dup",
|
|
OP_DUP,
|
|
1,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x13 DW_OP_drop
|
|
"DW_OP_drop",
|
|
OP_DROP,
|
|
1,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x14 DW_OP_over
|
|
"DW_OP_over",
|
|
OP_OVER,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x15 DW_OP_pick
|
|
"DW_OP_pick",
|
|
OP_PICK,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata1},
|
|
},
|
|
{
|
|
// 0x16 DW_OP_swap
|
|
"DW_OP_swap",
|
|
OP_SWAP,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x17 DW_OP_rot
|
|
"DW_OP_rot",
|
|
OP_ROT,
|
|
3,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x18 DW_OP_xderef
|
|
"DW_OP_xderef",
|
|
OP_NOT_IMPLEMENTED,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x19 DW_OP_abs
|
|
"DW_OP_abs",
|
|
OP_ABS,
|
|
1,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x1a DW_OP_and
|
|
"DW_OP_and",
|
|
OP_AND,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x1b DW_OP_div
|
|
"DW_OP_div",
|
|
OP_DIV,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x1c DW_OP_minus
|
|
"DW_OP_minus",
|
|
OP_MINUS,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x1d DW_OP_mod
|
|
"DW_OP_mod",
|
|
OP_MOD,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x1e DW_OP_mul
|
|
"DW_OP_mul",
|
|
OP_MUL,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x1f DW_OP_neg
|
|
"DW_OP_neg",
|
|
OP_NEG,
|
|
1,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x20 DW_OP_not
|
|
"DW_OP_not",
|
|
OP_NOT,
|
|
1,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x21 DW_OP_or
|
|
"DW_OP_or",
|
|
OP_OR,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x22 DW_OP_plus
|
|
"DW_OP_plus",
|
|
OP_PLUS,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x23 DW_OP_plus_uconst
|
|
"DW_OP_plus_uconst",
|
|
OP_PLUS_UCONST,
|
|
1,
|
|
1,
|
|
{DW_EH_PE_uleb128},
|
|
},
|
|
{
|
|
// 0x24 DW_OP_shl
|
|
"DW_OP_shl",
|
|
OP_SHL,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x25 DW_OP_shr
|
|
"DW_OP_shr",
|
|
OP_SHR,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x26 DW_OP_shra
|
|
"DW_OP_shra",
|
|
OP_SHRA,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x27 DW_OP_xor
|
|
"DW_OP_xor",
|
|
OP_XOR,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x28 DW_OP_bra
|
|
"DW_OP_bra",
|
|
OP_BRA,
|
|
1,
|
|
1,
|
|
{DW_EH_PE_sdata2},
|
|
},
|
|
{
|
|
// 0x29 DW_OP_eq
|
|
"DW_OP_eq",
|
|
OP_EQ,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x2a DW_OP_ge
|
|
"DW_OP_ge",
|
|
OP_GE,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x2b DW_OP_gt
|
|
"DW_OP_gt",
|
|
OP_GT,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x2c DW_OP_le
|
|
"DW_OP_le",
|
|
OP_LE,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x2d DW_OP_lt
|
|
"DW_OP_lt",
|
|
OP_LT,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x2e DW_OP_ne
|
|
"DW_OP_ne",
|
|
OP_NE,
|
|
2,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x2f DW_OP_skip
|
|
"DW_OP_skip",
|
|
OP_SKIP,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sdata2},
|
|
},
|
|
{
|
|
// 0x30 DW_OP_lit0
|
|
"DW_OP_lit0",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x31 DW_OP_lit1
|
|
"DW_OP_lit1",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x32 DW_OP_lit2
|
|
"DW_OP_lit2",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x33 DW_OP_lit3
|
|
"DW_OP_lit3",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x34 DW_OP_lit4
|
|
"DW_OP_lit4",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x35 DW_OP_lit5
|
|
"DW_OP_lit5",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x36 DW_OP_lit6
|
|
"DW_OP_lit6",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x37 DW_OP_lit7
|
|
"DW_OP_lit7",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x38 DW_OP_lit8
|
|
"DW_OP_lit8",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x39 DW_OP_lit9
|
|
"DW_OP_lit9",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x3a DW_OP_lit10
|
|
"DW_OP_lit10",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x3b DW_OP_lit11
|
|
"DW_OP_lit11",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x3c DW_OP_lit12
|
|
"DW_OP_lit12",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x3d DW_OP_lit13
|
|
"DW_OP_lit13",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x3e DW_OP_lit14
|
|
"DW_OP_lit14",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x3f DW_OP_lit15
|
|
"DW_OP_lit15",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x40 DW_OP_lit16
|
|
"DW_OP_lit16",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x41 DW_OP_lit17
|
|
"DW_OP_lit17",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x42 DW_OP_lit18
|
|
"DW_OP_lit18",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x43 DW_OP_lit19
|
|
"DW_OP_lit19",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x44 DW_OP_lit20
|
|
"DW_OP_lit20",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x45 DW_OP_lit21
|
|
"DW_OP_lit21",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x46 DW_OP_lit22
|
|
"DW_OP_lit22",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x47 DW_OP_lit23
|
|
"DW_OP_lit23",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x48 DW_OP_lit24
|
|
"DW_OP_lit24",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x49 DW_OP_lit25
|
|
"DW_OP_lit25",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x4a DW_OP_lit26
|
|
"DW_OP_lit26",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x4b DW_OP_lit27
|
|
"DW_OP_lit27",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x4c DW_OP_lit28
|
|
"DW_OP_lit28",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x4d DW_OP_lit29
|
|
"DW_OP_lit29",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x4e DW_OP_lit30
|
|
"DW_OP_lit30",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x4f DW_OP_lit31
|
|
"DW_OP_lit31",
|
|
OP_LIT,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x50 DW_OP_reg0
|
|
"DW_OP_reg0",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x51 DW_OP_reg1
|
|
"DW_OP_reg1",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x52 DW_OP_reg2
|
|
"DW_OP_reg2",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x53 DW_OP_reg3
|
|
"DW_OP_reg3",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x54 DW_OP_reg4
|
|
"DW_OP_reg4",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x55 DW_OP_reg5
|
|
"DW_OP_reg5",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x56 DW_OP_reg6
|
|
"DW_OP_reg6",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x57 DW_OP_reg7
|
|
"DW_OP_reg7",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x58 DW_OP_reg8
|
|
"DW_OP_reg8",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x59 DW_OP_reg9
|
|
"DW_OP_reg9",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x5a DW_OP_reg10
|
|
"DW_OP_reg10",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x5b DW_OP_reg11
|
|
"DW_OP_reg11",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x5c DW_OP_reg12
|
|
"DW_OP_reg12",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x5d DW_OP_reg13
|
|
"DW_OP_reg13",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x5e DW_OP_reg14
|
|
"DW_OP_reg14",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x5f DW_OP_reg15
|
|
"DW_OP_reg15",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x60 DW_OP_reg16
|
|
"DW_OP_reg16",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x61 DW_OP_reg17
|
|
"DW_OP_reg17",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x62 DW_OP_reg18
|
|
"DW_OP_reg18",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x63 DW_OP_reg19
|
|
"DW_OP_reg19",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x64 DW_OP_reg20
|
|
"DW_OP_reg20",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x65 DW_OP_reg21
|
|
"DW_OP_reg21",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x66 DW_OP_reg22
|
|
"DW_OP_reg22",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x67 DW_OP_reg23
|
|
"DW_OP_reg23",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x68 DW_OP_reg24
|
|
"DW_OP_reg24",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x69 DW_OP_reg25
|
|
"DW_OP_reg25",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x6a DW_OP_reg26
|
|
"DW_OP_reg26",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x6b DW_OP_reg27
|
|
"DW_OP_reg27",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x6c DW_OP_reg28
|
|
"DW_OP_reg28",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x6d DW_OP_reg29
|
|
"DW_OP_reg29",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x6e DW_OP_reg30
|
|
"DW_OP_reg30",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x6f DW_OP_reg31
|
|
"DW_OP_reg31",
|
|
OP_REG,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x70 DW_OP_breg0
|
|
"DW_OP_breg0",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x71 DW_OP_breg1
|
|
"DW_OP_breg1",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x72 DW_OP_breg2
|
|
"DW_OP_breg2",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x73 DW_OP_breg3
|
|
"DW_OP_breg3",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x74 DW_OP_breg4
|
|
"DW_OP_breg4",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x75 DW_OP_breg5
|
|
"DW_OP_breg5",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x76 DW_OP_breg6
|
|
"DW_OP_breg6",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x77 DW_OP_breg7
|
|
"DW_OP_breg7",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x78 DW_OP_breg8
|
|
"DW_OP_breg8",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x79 DW_OP_breg9
|
|
"DW_OP_breg9",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x7a DW_OP_breg10
|
|
"DW_OP_breg10",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x7b DW_OP_breg11
|
|
"DW_OP_breg11",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x7c DW_OP_breg12
|
|
"DW_OP_breg12",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x7d DW_OP_breg13
|
|
"DW_OP_breg13",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x7e DW_OP_breg14
|
|
"DW_OP_breg14",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x7f DW_OP_breg15
|
|
"DW_OP_breg15",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x80 DW_OP_breg16
|
|
"DW_OP_breg16",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x81 DW_OP_breg17
|
|
"DW_OP_breg17",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x82 DW_OP_breg18
|
|
"DW_OP_breg18",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x83 DW_OP_breg19
|
|
"DW_OP_breg19",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x84 DW_OP_breg20
|
|
"DW_OP_breg20",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x85 DW_OP_breg21
|
|
"DW_OP_breg21",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x86 DW_OP_breg22
|
|
"DW_OP_breg22",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x87 DW_OP_breg23
|
|
"DW_OP_breg23",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x88 DW_OP_breg24
|
|
"DW_OP_breg24",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x89 DW_OP_breg25
|
|
"DW_OP_breg25",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x8a DW_OP_breg26
|
|
"DW_OP_breg26",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x8b DW_OP_breg27
|
|
"DW_OP_breg27",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x8c DW_OP_breg28
|
|
"DW_OP_breg28",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x8d DW_OP_breg29
|
|
"DW_OP_breg29",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x8e DW_OP_breg30
|
|
"DW_OP_breg30",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x8f DW_OP_breg31
|
|
"DW_OP_breg31",
|
|
OP_BREG,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x90 DW_OP_regx
|
|
"DW_OP_regx",
|
|
OP_REGX,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_uleb128},
|
|
},
|
|
{
|
|
// 0x91 DW_OP_fbreg
|
|
"DW_OP_fbreg",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x92 DW_OP_bregx
|
|
"DW_OP_bregx",
|
|
OP_BREGX,
|
|
0,
|
|
2,
|
|
{DW_EH_PE_uleb128, DW_EH_PE_sleb128},
|
|
},
|
|
{
|
|
// 0x93 DW_OP_piece
|
|
"DW_OP_piece",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_uleb128},
|
|
},
|
|
{
|
|
// 0x94 DW_OP_deref_size
|
|
"DW_OP_deref_size",
|
|
OP_DEREF_SIZE,
|
|
1,
|
|
1,
|
|
{DW_EH_PE_udata1},
|
|
},
|
|
{
|
|
// 0x95 DW_OP_xderef_size
|
|
"DW_OP_xderef_size",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata1},
|
|
},
|
|
{
|
|
// 0x96 DW_OP_nop
|
|
"DW_OP_nop",
|
|
OP_NOP,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x97 DW_OP_push_object_address
|
|
"DW_OP_push_object_address",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x98 DW_OP_call2
|
|
"DW_OP_call2",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata2},
|
|
},
|
|
{
|
|
// 0x99 DW_OP_call4
|
|
"DW_OP_call4",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_udata4},
|
|
},
|
|
{
|
|
// 0x9a DW_OP_call_ref
|
|
"DW_OP_call_ref",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
0, // Has a different sized operand (4 bytes or 8 bytes).
|
|
{},
|
|
},
|
|
{
|
|
// 0x9b DW_OP_form_tls_address
|
|
"DW_OP_form_tls_address",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x9c DW_OP_call_frame_cfa
|
|
"DW_OP_call_frame_cfa",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
0,
|
|
{},
|
|
},
|
|
{
|
|
// 0x9d DW_OP_bit_piece
|
|
"DW_OP_bit_piece",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
2,
|
|
{DW_EH_PE_uleb128, DW_EH_PE_uleb128},
|
|
},
|
|
{
|
|
// 0x9e DW_OP_implicit_value
|
|
"DW_OP_implicit_value",
|
|
OP_NOT_IMPLEMENTED,
|
|
0,
|
|
1,
|
|
{DW_EH_PE_uleb128},
|
|
},
|
|
{
|
|
// 0x9f DW_OP_stack_value
|
|
"DW_OP_stack_value",
|
|
OP_NOT_IMPLEMENTED,
|
|
1,
|
|
0,
|
|
{},
|
|
},
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa0 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa1 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa2 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa3 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa4 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa5 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa6 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa7 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa8 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xa9 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xaa illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xab illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xac illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xad illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xae illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xaf illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb0 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb1 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb2 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb3 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb4 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb5 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb6 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb7 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb8 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xb9 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xba illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xbb illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xbc illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xbd illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xbe illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xbf illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc0 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc1 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc2 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc3 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc4 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc5 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc6 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc7 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc8 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xc9 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xca illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xcb illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xcc illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xcd illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xce illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xcf illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd0 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd1 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd2 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd3 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd4 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd5 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd6 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd7 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd8 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xd9 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xda illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xdb illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xdc illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xdd illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xde illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xdf illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe0 DW_OP_lo_user
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe1 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe2 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe3 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe4 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe5 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe6 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe7 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe8 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xe9 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xea illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xeb illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xec illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xed illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xee illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xef illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf0 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf1 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf2 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf3 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf4 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf5 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf6 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf7 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf8 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xf9 illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xfa illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xfb illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xfc illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xfd illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xfe illegal op
|
|
{"", OP_ILLEGAL, 0, 0, {}}, // 0xff DW_OP_hi_user
|
|
};
|
|
|
|
template <typename AddressType>
|
|
const typename DwarfOp<AddressType>::OpHandleFuncPtr DwarfOp<AddressType>::kOpHandleFuncList[] = {
|
|
[OP_ILLEGAL] = nullptr,
|
|
[OP_DEREF] = &DwarfOp<AddressType>::op_deref,
|
|
[OP_DEREF_SIZE] = &DwarfOp<AddressType>::op_deref_size,
|
|
[OP_PUSH] = &DwarfOp<AddressType>::op_push,
|
|
[OP_DUP] = &DwarfOp<AddressType>::op_dup,
|
|
[OP_DROP] = &DwarfOp<AddressType>::op_drop,
|
|
[OP_OVER] = &DwarfOp<AddressType>::op_over,
|
|
[OP_PICK] = &DwarfOp<AddressType>::op_pick,
|
|
[OP_SWAP] = &DwarfOp<AddressType>::op_swap,
|
|
[OP_ROT] = &DwarfOp<AddressType>::op_rot,
|
|
[OP_ABS] = &DwarfOp<AddressType>::op_abs,
|
|
[OP_AND] = &DwarfOp<AddressType>::op_and,
|
|
[OP_DIV] = &DwarfOp<AddressType>::op_div,
|
|
[OP_MINUS] = &DwarfOp<AddressType>::op_minus,
|
|
[OP_MOD] = &DwarfOp<AddressType>::op_mod,
|
|
[OP_MUL] = &DwarfOp<AddressType>::op_mul,
|
|
[OP_NEG] = &DwarfOp<AddressType>::op_neg,
|
|
[OP_NOT] = &DwarfOp<AddressType>::op_not,
|
|
[OP_OR] = &DwarfOp<AddressType>::op_or,
|
|
[OP_PLUS] = &DwarfOp<AddressType>::op_plus,
|
|
[OP_PLUS_UCONST] = &DwarfOp<AddressType>::op_plus_uconst,
|
|
[OP_SHL] = &DwarfOp<AddressType>::op_shl,
|
|
[OP_SHR] = &DwarfOp<AddressType>::op_shr,
|
|
[OP_SHRA] = &DwarfOp<AddressType>::op_shra,
|
|
[OP_XOR] = &DwarfOp<AddressType>::op_xor,
|
|
[OP_BRA] = &DwarfOp<AddressType>::op_bra,
|
|
[OP_EQ] = &DwarfOp<AddressType>::op_eq,
|
|
[OP_GE] = &DwarfOp<AddressType>::op_ge,
|
|
[OP_GT] = &DwarfOp<AddressType>::op_gt,
|
|
[OP_LE] = &DwarfOp<AddressType>::op_le,
|
|
[OP_LT] = &DwarfOp<AddressType>::op_lt,
|
|
[OP_NE] = &DwarfOp<AddressType>::op_ne,
|
|
[OP_SKIP] = &DwarfOp<AddressType>::op_skip,
|
|
[OP_LIT] = &DwarfOp<AddressType>::op_lit,
|
|
[OP_REG] = &DwarfOp<AddressType>::op_reg,
|
|
[OP_REGX] = &DwarfOp<AddressType>::op_regx,
|
|
[OP_BREG] = &DwarfOp<AddressType>::op_breg,
|
|
[OP_BREGX] = &DwarfOp<AddressType>::op_bregx,
|
|
[OP_NOP] = &DwarfOp<AddressType>::op_nop,
|
|
[OP_NOT_IMPLEMENTED] = &DwarfOp<AddressType>::op_not_implemented,
|
|
};
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::Eval(uint64_t start, uint64_t end) {
|
|
is_register_ = false;
|
|
stack_.clear();
|
|
memory_->set_cur_offset(start);
|
|
dex_pc_set_ = false;
|
|
|
|
// Unroll the first Decode calls to be able to check for a special
|
|
// sequence of ops and values that indicate this is the dex pc.
|
|
// The pattern is:
|
|
// OP_const4u (0x0c) 'D' 'E' 'X' '1'
|
|
// OP_drop (0x13)
|
|
if (memory_->cur_offset() < end) {
|
|
if (!Decode()) {
|
|
return false;
|
|
}
|
|
} else {
|
|
return true;
|
|
}
|
|
bool check_for_drop;
|
|
if (cur_op_ == 0x0c && operands_.back() == 0x31584544) {
|
|
check_for_drop = true;
|
|
} else {
|
|
check_for_drop = false;
|
|
}
|
|
if (memory_->cur_offset() < end) {
|
|
if (!Decode()) {
|
|
return false;
|
|
}
|
|
} else {
|
|
return true;
|
|
}
|
|
|
|
if (check_for_drop && cur_op_ == 0x13) {
|
|
dex_pc_set_ = true;
|
|
}
|
|
|
|
uint32_t iterations = 2;
|
|
while (memory_->cur_offset() < end) {
|
|
if (!Decode()) {
|
|
return false;
|
|
}
|
|
// To protect against a branch that creates an infinite loop,
|
|
// terminate if the number of iterations gets too high.
|
|
if (iterations++ == 1000) {
|
|
last_error_.code = DWARF_ERROR_TOO_MANY_ITERATIONS;
|
|
return false;
|
|
}
|
|
}
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::Decode() {
|
|
last_error_.code = DWARF_ERROR_NONE;
|
|
if (!memory_->ReadBytes(&cur_op_, 1)) {
|
|
last_error_.code = DWARF_ERROR_MEMORY_INVALID;
|
|
last_error_.address = memory_->cur_offset();
|
|
return false;
|
|
}
|
|
|
|
const auto* op = &kCallbackTable[cur_op_];
|
|
if (op->handle_func == OP_ILLEGAL) {
|
|
last_error_.code = DWARF_ERROR_ILLEGAL_VALUE;
|
|
return false;
|
|
}
|
|
|
|
const auto handle_func = kOpHandleFuncList[op->handle_func];
|
|
|
|
// Make sure that the required number of stack elements is available.
|
|
if (stack_.size() < op->num_required_stack_values) {
|
|
last_error_.code = DWARF_ERROR_STACK_INDEX_NOT_VALID;
|
|
return false;
|
|
}
|
|
|
|
operands_.clear();
|
|
for (size_t i = 0; i < op->num_operands; i++) {
|
|
uint64_t value;
|
|
if (!memory_->ReadEncodedValue<AddressType>(op->operands[i], &value)) {
|
|
last_error_.code = DWARF_ERROR_MEMORY_INVALID;
|
|
last_error_.address = memory_->cur_offset();
|
|
return false;
|
|
}
|
|
operands_.push_back(value);
|
|
}
|
|
return (this->*handle_func)();
|
|
}
|
|
|
|
template <typename AddressType>
|
|
void DwarfOp<AddressType>::GetLogInfo(uint64_t start, uint64_t end,
|
|
std::vector<std::string>* lines) {
|
|
memory_->set_cur_offset(start);
|
|
while (memory_->cur_offset() < end) {
|
|
uint8_t cur_op;
|
|
if (!memory_->ReadBytes(&cur_op, 1)) {
|
|
return;
|
|
}
|
|
|
|
std::string raw_string(android::base::StringPrintf("Raw Data: 0x%02x", cur_op));
|
|
std::string log_string;
|
|
const auto* op = &kCallbackTable[cur_op];
|
|
if (op->handle_func == OP_ILLEGAL) {
|
|
log_string = "Illegal";
|
|
} else {
|
|
log_string = op->name;
|
|
uint64_t start_offset = memory_->cur_offset();
|
|
for (size_t i = 0; i < op->num_operands; i++) {
|
|
uint64_t value;
|
|
if (!memory_->ReadEncodedValue<AddressType>(op->operands[i], &value)) {
|
|
return;
|
|
}
|
|
log_string += ' ' + std::to_string(value);
|
|
}
|
|
uint64_t end_offset = memory_->cur_offset();
|
|
|
|
memory_->set_cur_offset(start_offset);
|
|
for (size_t i = start_offset; i < end_offset; i++) {
|
|
uint8_t byte;
|
|
if (!memory_->ReadBytes(&byte, 1)) {
|
|
return;
|
|
}
|
|
raw_string += android::base::StringPrintf(" 0x%02x", byte);
|
|
}
|
|
memory_->set_cur_offset(end_offset);
|
|
}
|
|
lines->push_back(std::move(log_string));
|
|
lines->push_back(std::move(raw_string));
|
|
}
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_deref() {
|
|
// Read the address and dereference it.
|
|
AddressType addr = StackPop();
|
|
AddressType value;
|
|
if (!regular_memory()->ReadFully(addr, &value, sizeof(value))) {
|
|
last_error_.code = DWARF_ERROR_MEMORY_INVALID;
|
|
last_error_.address = addr;
|
|
return false;
|
|
}
|
|
stack_.push_front(value);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_deref_size() {
|
|
AddressType bytes_to_read = OperandAt(0);
|
|
if (bytes_to_read > sizeof(AddressType) || bytes_to_read == 0) {
|
|
last_error_.code = DWARF_ERROR_ILLEGAL_VALUE;
|
|
return false;
|
|
}
|
|
// Read the address and dereference it.
|
|
AddressType addr = StackPop();
|
|
AddressType value = 0;
|
|
if (!regular_memory()->ReadFully(addr, &value, bytes_to_read)) {
|
|
last_error_.code = DWARF_ERROR_MEMORY_INVALID;
|
|
last_error_.address = addr;
|
|
return false;
|
|
}
|
|
stack_.push_front(value);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_push() {
|
|
// Push all of the operands.
|
|
for (auto operand : operands_) {
|
|
stack_.push_front(operand);
|
|
}
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_dup() {
|
|
stack_.push_front(StackAt(0));
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_drop() {
|
|
StackPop();
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_over() {
|
|
stack_.push_front(StackAt(1));
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_pick() {
|
|
AddressType index = OperandAt(0);
|
|
if (index >= StackSize()) {
|
|
last_error_.code = DWARF_ERROR_STACK_INDEX_NOT_VALID;
|
|
return false;
|
|
}
|
|
stack_.push_front(StackAt(index));
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_swap() {
|
|
AddressType old_value = stack_[0];
|
|
stack_[0] = stack_[1];
|
|
stack_[1] = old_value;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_rot() {
|
|
AddressType top = stack_[0];
|
|
stack_[0] = stack_[1];
|
|
stack_[1] = stack_[2];
|
|
stack_[2] = top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_abs() {
|
|
SignedType signed_value = static_cast<SignedType>(stack_[0]);
|
|
if (signed_value < 0) {
|
|
signed_value = -signed_value;
|
|
}
|
|
stack_[0] = static_cast<AddressType>(signed_value);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_and() {
|
|
AddressType top = StackPop();
|
|
stack_[0] &= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_div() {
|
|
AddressType top = StackPop();
|
|
if (top == 0) {
|
|
last_error_.code = DWARF_ERROR_ILLEGAL_VALUE;
|
|
return false;
|
|
}
|
|
SignedType signed_divisor = static_cast<SignedType>(top);
|
|
SignedType signed_dividend = static_cast<SignedType>(stack_[0]);
|
|
stack_[0] = static_cast<AddressType>(signed_dividend / signed_divisor);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_minus() {
|
|
AddressType top = StackPop();
|
|
stack_[0] -= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_mod() {
|
|
AddressType top = StackPop();
|
|
if (top == 0) {
|
|
last_error_.code = DWARF_ERROR_ILLEGAL_VALUE;
|
|
return false;
|
|
}
|
|
stack_[0] %= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_mul() {
|
|
AddressType top = StackPop();
|
|
stack_[0] *= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_neg() {
|
|
SignedType signed_value = static_cast<SignedType>(stack_[0]);
|
|
stack_[0] = static_cast<AddressType>(-signed_value);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_not() {
|
|
stack_[0] = ~stack_[0];
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_or() {
|
|
AddressType top = StackPop();
|
|
stack_[0] |= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_plus() {
|
|
AddressType top = StackPop();
|
|
stack_[0] += top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_plus_uconst() {
|
|
stack_[0] += OperandAt(0);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_shl() {
|
|
AddressType top = StackPop();
|
|
stack_[0] <<= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_shr() {
|
|
AddressType top = StackPop();
|
|
stack_[0] >>= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_shra() {
|
|
AddressType top = StackPop();
|
|
SignedType signed_value = static_cast<SignedType>(stack_[0]) >> top;
|
|
stack_[0] = static_cast<AddressType>(signed_value);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_xor() {
|
|
AddressType top = StackPop();
|
|
stack_[0] ^= top;
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_bra() {
|
|
// Requires one stack element.
|
|
AddressType top = StackPop();
|
|
int16_t offset = static_cast<int16_t>(OperandAt(0));
|
|
uint64_t cur_offset;
|
|
if (top != 0) {
|
|
cur_offset = memory_->cur_offset() + offset;
|
|
} else {
|
|
cur_offset = memory_->cur_offset() - offset;
|
|
}
|
|
memory_->set_cur_offset(cur_offset);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_eq() {
|
|
AddressType top = StackPop();
|
|
stack_[0] = bool_to_dwarf_bool(stack_[0] == top);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_ge() {
|
|
AddressType top = StackPop();
|
|
stack_[0] = bool_to_dwarf_bool(stack_[0] >= top);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_gt() {
|
|
AddressType top = StackPop();
|
|
stack_[0] = bool_to_dwarf_bool(stack_[0] > top);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_le() {
|
|
AddressType top = StackPop();
|
|
stack_[0] = bool_to_dwarf_bool(stack_[0] <= top);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_lt() {
|
|
AddressType top = StackPop();
|
|
stack_[0] = bool_to_dwarf_bool(stack_[0] < top);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_ne() {
|
|
AddressType top = StackPop();
|
|
stack_[0] = bool_to_dwarf_bool(stack_[0] != top);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_skip() {
|
|
int16_t offset = static_cast<int16_t>(OperandAt(0));
|
|
uint64_t cur_offset = memory_->cur_offset() + offset;
|
|
memory_->set_cur_offset(cur_offset);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_lit() {
|
|
stack_.push_front(cur_op() - 0x30);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_reg() {
|
|
is_register_ = true;
|
|
stack_.push_front(cur_op() - 0x50);
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_regx() {
|
|
is_register_ = true;
|
|
stack_.push_front(OperandAt(0));
|
|
return true;
|
|
}
|
|
|
|
// It's not clear for breg/bregx, if this op should read the current
|
|
// value of the register, or where we think that register is located.
|
|
// For simplicity, the code will read the value before doing the unwind.
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_breg() {
|
|
uint16_t reg = cur_op() - 0x70;
|
|
if (reg >= regs_info_->Total()) {
|
|
last_error_.code = DWARF_ERROR_ILLEGAL_VALUE;
|
|
return false;
|
|
}
|
|
stack_.push_front(regs_info_->Get(reg) + OperandAt(0));
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_bregx() {
|
|
AddressType reg = OperandAt(0);
|
|
if (reg >= regs_info_->Total()) {
|
|
last_error_.code = DWARF_ERROR_ILLEGAL_VALUE;
|
|
return false;
|
|
}
|
|
stack_.push_front(regs_info_->Get(reg) + OperandAt(1));
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_nop() {
|
|
return true;
|
|
}
|
|
|
|
template <typename AddressType>
|
|
bool DwarfOp<AddressType>::op_not_implemented() {
|
|
last_error_.code = DWARF_ERROR_NOT_IMPLEMENTED;
|
|
return false;
|
|
}
|
|
|
|
// Explicitly instantiate DwarfOp.
|
|
template class DwarfOp<uint32_t>;
|
|
template class DwarfOp<uint64_t>;
|
|
|
|
} // namespace unwindstack
|