tequilaOS/platform_system_core
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
platform_system_core/libunwindstack/DwarfOp.cpp
Vic Yang cc8009ff04 libunwindstack: Move DwarfOp callback table to rodata section 
There are currently two copies of DwarfOp callback tables in
data.rel.ro section, and that is 16KB of dirty memory per process on a
64-bit platform.

To reduce memory usage, we introduce a layer of indirection so that
all instances of DwarfOp can share a single callback table.  We also
get rid of the pointers for op names in the callback table so that the
entire table can be placed in rodata section.

Test result shows 1MB saving on cuttlefish, and 750KB saving on a Go
device (32-bit ARM).

Bug: 112073665
Test: Boot on cuttlefish and a Go device.
Change-Id: Idf90a513f37534ab1ef30d5742a9d3ea779f3661
2019-01-24 11:11:15 -08:00

1941 lines
40 KiB
C++
Raw Blame History

/*
* 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
Reference in a new issue View git blame Copy permalink