Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1837)

Unified Diff: courgette/disassembler_elf_32_arm.cc

Issue 1792603006: Revert of [Courgette] Clean up Disassembler; fix ELF Memory leaks. (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: Created 4 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « courgette/disassembler_elf_32_arm.h ('k') | courgette/disassembler_elf_32_x86.h » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: courgette/disassembler_elf_32_arm.cc
diff --git a/courgette/disassembler_elf_32_arm.cc b/courgette/disassembler_elf_32_arm.cc
index 39172f462d171cde94ee6b037db44fef6aa71c7e..f6490d9423c00c6cc6063e0f827c82f891763099 100644
--- a/courgette/disassembler_elf_32_arm.cc
+++ b/courgette/disassembler_elf_32_arm.cc
@@ -4,12 +4,18 @@
#include "courgette/disassembler_elf_32_arm.h"
+#include <stddef.h>
+#include <stdint.h>
+
+#include <algorithm>
+#include <string>
#include <vector>
#include "base/logging.h"
-#include "base/memory/scoped_ptr.h"
+
#include "courgette/assembly_program.h"
#include "courgette/courgette.h"
+#include "courgette/encoded_program.h"
namespace courgette {
@@ -18,34 +24,31 @@
RVA rva,
uint16_t* c_op,
uint32_t* addr) {
- // Notation for bit ranges in comments:
- // - Listing bits from highest to lowest.
- // - A-Z or (j1), (j2), etc.: single bit in source.
- // - a-z: multiple, consecutive bits in source.
+ // This method takes an ARM or thumb opcode, extracts the relative
+ // target address from it (addr), and creates a corresponding
+ // Courgette opcode (c_op).
+ //
+ // Details on ARM the opcodes, and how the relative targets are
+ // computed were taken from the "ARM Architecture Reference Manual",
+ // section A4.1.5 and the "Thumb-2 supplement", section 4.6.12.
+ // ARM_OFF24 is for the ARM opcode. The rest are for thumb opcodes.
switch (type) {
case ARM_OFF8: {
- // Encoding T1.
- // The offset is given by lower 8 bits of the op. It is a 9-bit offset,
- // shifted right 1 bit, and signed extended.
- // arm_op = aaaaaaaa Snnnnnnn
- // *addr := SSSSSSSS SSSSSSSS SSSSSSSS nnnnnnn0 + 100
- // *c_op := 00010000 aaaaaaaa
+ // The offset is given by lower 8 bits of the op. It is a 9-bit
+ // offset, shifted right one bit and signed extended.
uint32_t temp = (arm_op & 0x00FF) << 1;
if (temp & 0x0100)
temp |= 0xFFFFFE00;
temp += 4; // Offset from _next_ PC.
+ fflush(stdout);
(*addr) = temp;
(*c_op) = static_cast<uint16_t>(arm_op >> 8) | 0x1000;
break;
}
case ARM_OFF11: {
- // Encoding T2.
- // The offset is given by lower 11 bits of the op, and is a 12-bit offset,
- // shifted right 1 bit, and sign extended.
- // arm_op = aaaaaSnn nnnnnnnn
- // *addr := SSSSSSSS SSSSSSSS SSSSSnnn nnnnnnn0 + 100
- // *c_op := 00100000 000aaaaa
+ // The offset is given by lower 11 bits of the op, and is a
+ // 12-bit offset, shifted right one bit and sign extended.
uint32_t temp = (arm_op & 0x07FF) << 1;
if (temp & 0x00000800)
temp |= 0xFFFFF000;
@@ -58,9 +61,6 @@
case ARM_OFF24: {
// The offset is given by the lower 24-bits of the op, shifted
// left 2 bits, and sign extended.
- // arm_op = aaaaaaaa Snnnnnnn nnnnnnnn nnnnnnnn
- // *addr := SSSSSSSn nnnnnnnn nnnnnnnn nnnnnn00 + 1000
- // *c_op := 00110000 aaaaaaaa
uint32_t temp = (arm_op & 0x00FFFFFF) << 2;
if (temp & 0x02000000)
temp |= 0xFC000000;
@@ -71,18 +71,6 @@
break;
}
case ARM_OFF25: {
- // Encoding T4.
- // arm_op = aaaaaSmm mmmmmmmm BC(j1)D(j2)nnn nnnnnnnn
- // where CD is in {01, 10, 11}
- // i1 := ~(j1 ^ S)
- // i2 := ~(j2 ^ S)
- // If CD == 10:
- // pppp := (rva % 4 == 0) ? 0100 : 0010
- // Else:
- // pppp := 0100
- // *addr := SSSSSSSS (i1)(i2)mmmmmm mmmmnnnn nnnnnnn0 + pppp
- // *c_op := 0100pppp aaaaaBCD
- // TODO(huangs): aaaaa = 11110 and B = 1 always? Investigate and fix.
uint32_t temp = 0;
temp |= (arm_op & 0x000007FF) << 1; // imm11
temp |= (arm_op & 0x03FF0000) >> 4; // imm10
@@ -90,8 +78,8 @@
uint32_t S = (arm_op & (1 << 26)) >> 26;
uint32_t j2 = (arm_op & (1 << 11)) >> 11;
uint32_t j1 = (arm_op & (1 << 13)) >> 13;
- bool bit12 = ((arm_op & (1 << 12)) >> 12) != 0; // D
- bool bit14 = ((arm_op & (1 << 14)) >> 14) != 0; // C
+ bool bit12 = ((arm_op & (1 << 12)) >> 12) != 0;
+ bool bit14 = ((arm_op & (1 << 14)) >> 14) != 0;
uint32_t i2 = ~(j2 ^ S) & 1;
uint32_t i1 = ~(j1 ^ S) & 1;
@@ -103,7 +91,7 @@
temp |= 0xFE000000;
uint32_t prefetch;
if (toARM) {
- // Align PC on 4-byte boundary.
+ // Align PC on 4-byte boundary
uint32_t align4byte = (rva % 4) ? 2 : 4;
prefetch = align4byte;
} else {
@@ -113,25 +101,20 @@
(*addr) = temp;
uint32_t temp2 = 0x4000;
- temp2 |= (arm_op & (1 << 12)) >> 12; // .......D
- temp2 |= (arm_op & (1 << 14)) >> 13; // ......C.
- temp2 |= (arm_op & (1 << 15)) >> 13; // .....B..
- temp2 |= (arm_op & 0xF8000000) >> 24; // aaaaa...
+ temp2 |= (arm_op & (1 << 12)) >> 12;
+ temp2 |= (arm_op & (1 << 14)) >> 13;
+ temp2 |= (arm_op & (1 << 15)) >> 13;
+ temp2 |= (arm_op & 0xF8000000) >> 24;
temp2 |= (prefetch & 0x0000000F) << 8;
(*c_op) = static_cast<uint16_t>(temp2);
break;
}
case ARM_OFF21: {
- // Encoding T3.
- // arm_op = 11110Scc ccmmmmmm 10(j1)0(j2)nnn nnnnnnnn
- // *addr := SSSSSSSS SSSS(j1)(j2)mm mmmmnnnn nnnnnnn0 + 100
- // *c_op := 01010000 0000cccc
uint32_t temp = 0;
temp |= (arm_op & 0x000007FF) << 1; // imm11
temp |= (arm_op & 0x003F0000) >> 4; // imm6
uint32_t S = (arm_op & (1 << 26)) >> 26;
- // TODO(huangs): Check with docs: Perhaps j1, j2 should swap?
uint32_t j2 = (arm_op & (1 << 11)) >> 11;
uint32_t j1 = (arm_op & (1 << 13)) >> 13;
@@ -157,31 +140,20 @@
uint16_t c_op,
uint32_t addr,
uint32_t* arm_op) {
+ // Reverses the process in the compress() method. Takes the
+ // Courgette op and relative address and reconstructs the original
+ // ARM or thumb op.
switch (type) {
case ARM_OFF8:
- // addr = SSSSSSSS SSSSSSSS SSSSSSSS nnnnnnn0 + 100
- // c_op = 00010000 aaaaaaaa
- // *arm_op := aaaaaaaa Snnnnnnn
(*arm_op) = ((c_op & 0x0FFF) << 8) | (((addr - 4) >> 1) & 0x000000FF);
break;
case ARM_OFF11:
- // addr = SSSSSSSS SSSSSSSS SSSSSnnn nnnnnnn0 + 100
- // c_op = 00100000 000aaaaa
- // *arm_op := aaaaaSnn nnnnnnnn
(*arm_op) = ((c_op & 0x0FFF) << 11) | (((addr - 4) >> 1) & 0x000007FF);
break;
case ARM_OFF24:
- // addr = SSSSSSSn nnnnnnnn nnnnnnnn nnnnnn00 + 1000
- // c_op = 00110000 aaaaaaaa
- // *arm_op := aaaaaaaa Snnnnnnn nnnnnnnn nnnnnnnn
(*arm_op) = ((c_op & 0x0FFF) << 24) | (((addr - 8) >> 2) & 0x00FFFFFF);
break;
case ARM_OFF25: {
- // addr = SSSSSSSS (i1)(i2)mmmmmm mmmmnnnn nnnnnnn0 + pppp
- // c_op = 0100pppp aaaaaBCD
- // j1 := ~i1 ^ S
- // j2 := ~i2 ^ S
- // *arm_op := aaaaaSmm mmmmmmmm BC(j1)D(j2)nnn nnnnnnnn
uint32_t temp = 0;
temp |= (c_op & (1 << 0)) << 12;
temp |= (c_op & (1 << 1)) << 13;
@@ -211,9 +183,6 @@
break;
}
case ARM_OFF21: {
- // addr = SSSSSSSS SSSS(j1)(j2)mm mmmmnnnn nnnnnnn0 + 100
- // c_op = 01010000 0000cccc
- // *arm_op := 11110Scc ccmmmmmm 10(j1)0(j2)nnn nnnnnnnn
uint32_t temp = 0xF0008000;
temp |= (c_op & (0x03C00000 >> 22)) << 22;
@@ -261,28 +230,24 @@
const uint8_t* op_pointer) {
arm_op_ = op_pointer;
switch (type_) {
- case ARM_OFF8: // Falls through.
+ case ARM_OFF8:
+ // Fall through
case ARM_OFF11: {
RVA relative_target;
- CheckBool ret = Compress(type_,
- Read16LittleEndian(op_pointer),
- rva(),
- &c_op_,
- &relative_target);
+ CheckBool ret = Compress(type_, Read16LittleEndian(op_pointer), rva(),
+ &c_op_, &relative_target);
set_relative_target(relative_target);
return ret;
}
case ARM_OFF24: {
RVA relative_target;
- CheckBool ret = Compress(type_,
- Read32LittleEndian(op_pointer),
- rva(),
- &c_op_,
- &relative_target);
+ CheckBool ret = Compress(type_, Read32LittleEndian(op_pointer), rva(),
+ &c_op_, &relative_target);
set_relative_target(relative_target);
return ret;
}
- case ARM_OFF25: // Falls through.
+ case ARM_OFF25:
+ // Fall through
case ARM_OFF21: {
// A thumb-2 op is 32 bits stored as two 16-bit words
uint32_t pval = (Read16LittleEndian(op_pointer) << 16) |
@@ -307,24 +272,26 @@
}
DisassemblerElf32ARM::DisassemblerElf32ARM(const void* start, size_t length)
- : DisassemblerElf32(start, length) {
-}
-
-// Convert an ELF relocation struction into an RVA.
+ : DisassemblerElf32(start, length) {
+}
+
+// Convert an ELF relocation struction into an RVA
CheckBool DisassemblerElf32ARM::RelToRVA(Elf32_Rel rel, RVA* result) const {
- // The rightmost byte of r_info is the type.
+
+ // The rightmost byte of r_info is the type...
elf32_rel_arm_type_values type =
- static_cast<elf32_rel_arm_type_values>(rel.r_info & 0xFF);
-
- // The other 3 bytes of r_info are the symbol.
+ (elf32_rel_arm_type_values)(unsigned char)rel.r_info;
+
+ // The other 3 bytes of r_info are the symbol
uint32_t symbol = rel.r_info >> 8;
- switch (type) {
+ switch(type)
+ {
case R_ARM_RELATIVE:
if (symbol != 0)
return false;
- // This is a basic ABS32 relocation address.
+ // This is a basic ABS32 relocation address
*result = rel.r_offset;
return true;
@@ -334,33 +301,32 @@
}
CheckBool DisassemblerElf32ARM::ParseRelocationSection(
- const Elf32_Shdr* section_header,
- AssemblyProgram* program) {
- // This method compresses a contiguous stretch of R_ARM_RELATIVE entries in
- // the relocation table with a Courgette relocation table instruction.
- // It skips any entries at the beginning that appear in a section that
- // Courgette doesn't support, e.g. INIT.
- //
+ const Elf32_Shdr *section_header,
+ AssemblyProgram* program) {
+ // This method compresses a contiguous stretch of R_ARM_RELATIVE
+ // entries in the relocation table with a Courgette relocation table
+ // instruction. It skips any entries at the beginning that appear
+ // in a section that Courgette doesn't support, e.g. INIT.
// Specifically, the entries should be
// (1) In the same relocation table
// (2) Are consecutive
// (3) Are sorted in memory address order
//
- // Happily, this is normally the case, but it's not required by spec so we
- // check, and just don't do it if we don't match up.
+ // Happily, this is normally the case, but it's not required by spec
+ // so we check, and just don't do it if we don't match up.
//
- // The expectation is that one relocation section will contain all of our
- // R_ARM_RELATIVE entries in the expected order followed by assorted other
- // entries we can't use special handling for.
+ // The expectation is that one relocation section will contain
+ // all of our R_ARM_RELATIVE entries in the expected order followed
+ // by assorted other entries we can't use special handling for.
bool match = true;
- // Walk all the bytes in the section, matching relocation table or not.
- FileOffset file_offset = section_header->sh_offset;
- FileOffset section_end = section_header->sh_offset + section_header->sh_size;
-
- const Elf32_Rel* section_relocs_iter = reinterpret_cast<const Elf32_Rel*>(
- FileOffsetToPointer(section_header->sh_offset));
+ // Walk all the bytes in the section, matching relocation table or not
+ size_t file_offset = section_header->sh_offset;
+ size_t section_end = section_header->sh_offset + section_header->sh_size;
+
+ Elf32_Rel *section_relocs_iter =
+ (Elf32_Rel *)OffsetToPointer(section_header->sh_offset);
uint32_t section_relocs_count =
section_header->sh_size / section_header->sh_entsize;
@@ -371,15 +337,13 @@
if (!abs32_locations_.empty()) {
std::vector<RVA>::iterator reloc_iter = abs32_locations_.begin();
- for (uint32_t i = 0; i < section_relocs_count; ++i) {
+ for (uint32_t i = 0; i < section_relocs_count; i++) {
if (section_relocs_iter->r_offset == *reloc_iter)
break;
- if (!ParseSimpleRegion(file_offset,
- file_offset + sizeof(Elf32_Rel),
- program)) {
+ if (!ParseSimpleRegion(file_offset, file_offset + sizeof(Elf32_Rel),
+ program))
return false;
- }
file_offset += sizeof(Elf32_Rel);
++section_relocs_iter;
@@ -387,12 +351,11 @@
while (match && (reloc_iter != abs32_locations_.end())) {
if (section_relocs_iter->r_info != R_ARM_RELATIVE ||
- section_relocs_iter->r_offset != *reloc_iter) {
+ section_relocs_iter->r_offset != *reloc_iter)
match = false;
- }
-
- ++section_relocs_iter;
- ++reloc_iter;
+
+ section_relocs_iter++;
+ reloc_iter++;
file_offset += sizeof(Elf32_Rel);
}
@@ -406,119 +369,118 @@
return ParseSimpleRegion(file_offset, section_end, program);
}
-// TODO(huangs): Detect and avoid overlap with abs32 addresses.
CheckBool DisassemblerElf32ARM::ParseRel32RelocsFromSection(
const Elf32_Shdr* section_header) {
- FileOffset start_file_offset = section_header->sh_offset;
- FileOffset end_file_offset = start_file_offset + section_header->sh_size;
-
- const uint8_t* start_pointer = FileOffsetToPointer(start_file_offset);
- const uint8_t* end_pointer = FileOffsetToPointer(end_file_offset);
+ uint32_t start_file_offset = section_header->sh_offset;
+ uint32_t end_file_offset = start_file_offset + section_header->sh_size;
+
+ const uint8_t* start_pointer = OffsetToPointer(start_file_offset);
+ const uint8_t* end_pointer = OffsetToPointer(end_file_offset);
// Quick way to convert from Pointer to RVA within a single Section is to
- // subtract |pointer_to_rva|.
+ // subtract 'pointer_to_rva'.
const uint8_t* const adjust_pointer_to_rva =
start_pointer - section_header->sh_addr;
// Find the rel32 relocations.
const uint8_t* p = start_pointer;
- bool on_32bit = 1; // 32-bit ARM ops appear on 32-bit boundaries, so track it
+ bool on_32bit = 1; // 32-bit ARM ops appear on 32-bit boundaries, so track it
while (p < end_pointer) {
// Heuristic discovery of rel32 locations in instruction stream: are the
// next few bytes the start of an instruction containing a rel32
// addressing mode?
- scoped_ptr<TypedRVAARM> rel32_rva;
+
+ TypedRVAARM* rel32_rva = NULL;
RVA target_rva = 0;
bool found = false;
// 16-bit thumb ops
- if (!found && p + 3 <= end_pointer) {
+ if (!found && (p + 3) <= end_pointer) {
uint16_t pval = Read16LittleEndian(p);
if ((pval & 0xF000) == 0xD000) {
RVA rva = static_cast<RVA>(p - adjust_pointer_to_rva);
- rel32_rva.reset(new TypedRVAARM(ARM_OFF8, rva));
- if (!rel32_rva->ComputeRelativeTarget(p))
+ rel32_rva = new TypedRVAARM(ARM_OFF8, rva);
+ if (!rel32_rva->ComputeRelativeTarget((uint8_t*)p)) {
return false;
-
+ }
target_rva = rel32_rva->rva() + rel32_rva->relative_target();
found = true;
} else if ((pval & 0xF800) == 0xE000) {
RVA rva = static_cast<RVA>(p - adjust_pointer_to_rva);
- rel32_rva.reset(new TypedRVAARM(ARM_OFF11, rva));
- if (!rel32_rva->ComputeRelativeTarget(p))
+ rel32_rva = new TypedRVAARM(ARM_OFF11, rva);
+ if (!rel32_rva->ComputeRelativeTarget((uint8_t*)p)) {
return false;
-
+ }
target_rva = rel32_rva->rva() + rel32_rva->relative_target();
found = true;
}
}
- // thumb-2 ops comprised of two 16-bit words.
- if (!found && p + 5 <= end_pointer) {
+ // thumb-2 ops comprised of two 16-bit words
+ if (!found && (p + 5) <= end_pointer) {
// This is really two 16-bit words, not one 32-bit word.
uint32_t pval = (Read16LittleEndian(p) << 16) | Read16LittleEndian(p + 2);
if ((pval & 0xF8008000) == 0xF0008000) {
// Covers thumb-2's 32-bit conditional/unconditional branches
- if ((pval & (1 << 14)) || (pval & (1 << 12))) {
+
+ if ( (pval & (1 << 14)) || (pval & (1 << 12)) ) {
// A branch, with link, or with link and exchange.
RVA rva = static_cast<RVA>(p - adjust_pointer_to_rva);
- rel32_rva.reset(new TypedRVAARM(ARM_OFF25, rva));
- if (!rel32_rva->ComputeRelativeTarget(p))
+ rel32_rva = new TypedRVAARM(ARM_OFF25, rva);
+ if (!rel32_rva->ComputeRelativeTarget((uint8_t*)p)) {
return false;
-
+ }
target_rva = rel32_rva->rva() + rel32_rva->relative_target();
found = true;
-
} else {
// TODO(paulgazz) make sure cond is not 111
// A conditional branch instruction
RVA rva = static_cast<RVA>(p - adjust_pointer_to_rva);
- rel32_rva.reset(new TypedRVAARM(ARM_OFF21, rva));
- if (!rel32_rva->ComputeRelativeTarget(p))
+ rel32_rva = new TypedRVAARM(ARM_OFF21, rva);
+ if (!rel32_rva->ComputeRelativeTarget((uint8_t*)p)) {
return false;
-
+ }
target_rva = rel32_rva->rva() + rel32_rva->relative_target();
found = true;
}
}
}
- // 32-bit ARM ops.
+ // 32-bit ARM ops
if (!found && on_32bit && (p + 5) <= end_pointer) {
uint32_t pval = Read32LittleEndian(p);
if ((pval & 0x0E000000) == 0x0A000000) {
// Covers both 0x0A 0x0B ARM relative branches
RVA rva = static_cast<RVA>(p - adjust_pointer_to_rva);
- rel32_rva.reset(new TypedRVAARM(ARM_OFF24, rva));
- if (!rel32_rva->ComputeRelativeTarget(p))
+ rel32_rva = new TypedRVAARM(ARM_OFF24, rva);
+ if (!rel32_rva->ComputeRelativeTarget((uint8_t*)p)) {
return false;
-
+ }
target_rva = rel32_rva->rva() + rel32_rva->relative_target();
found = true;
}
}
- if (found && IsValidTargetRVA(target_rva)) {
- uint16_t op_size = rel32_rva->op_size();
- rel32_locations_.push_back(rel32_rva.release());
+ if (found && IsValidRVA(target_rva)) {
+ rel32_locations_.push_back(rel32_rva);
#if COURGETTE_HISTOGRAM_TARGETS
++rel32_target_rvas_[target_rva];
#endif
- p += op_size;
-
- // A tricky way to update the on_32bit flag. Here is the truth table:
+ p += rel32_rva->op_size();
+
+ // A tricky way to update the on_32bit flag. Here is the truth table:
// on_32bit | on_32bit size is 4
// ---------+---------------------
// 1 | 0 0
// 0 | 0 1
// 0 | 1 0
// 1 | 1 1
- on_32bit = (~(on_32bit ^ (op_size == 4))) != 0;
+ on_32bit = (~(on_32bit ^ (rel32_rva->op_size() == 4))) != 0;
} else {
// Move 2 bytes at a time, but track 32-bit boundaries
p += 2;
« no previous file with comments | « courgette/disassembler_elf_32_arm.h ('k') | courgette/disassembler_elf_32_x86.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698