Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
//===-- lib/MC/MCObjectSymbolizer.cpp -------------------------------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/MC/MCObjectSymbolizer.h"
|
|
|
|
#include "llvm/ADT/SmallString.h"
|
|
|
|
#include "llvm/MC/MCContext.h"
|
|
|
|
#include "llvm/MC/MCExpr.h"
|
|
|
|
#include "llvm/MC/MCInst.h"
|
|
|
|
#include "llvm/MC/MCRelocationInfo.h"
|
|
|
|
#include "llvm/MC/MCSymbol.h"
|
2013-08-08 22:27:13 +00:00
|
|
|
#include "llvm/Object/ELFObjectFile.h"
|
2014-01-07 11:48:04 +00:00
|
|
|
#include "llvm/Object/MachO.h"
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2013-05-30 18:18:36 +00:00
|
|
|
#include <algorithm>
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
using namespace object;
|
|
|
|
|
|
|
|
//===- MCMachObjectSymbolizer ---------------------------------------------===//
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
class MCMachObjectSymbolizer : public MCObjectSymbolizer {
|
2013-08-21 07:28:13 +00:00
|
|
|
const MachOObjectFile *MOOF;
|
|
|
|
// __TEXT;__stubs support.
|
|
|
|
uint64_t StubsStart;
|
|
|
|
uint64_t StubsCount;
|
|
|
|
uint64_t StubSize;
|
|
|
|
uint64_t StubsIndSymIndex;
|
|
|
|
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
public:
|
|
|
|
MCMachObjectSymbolizer(MCContext &Ctx, OwningPtr<MCRelocationInfo> &RelInfo,
|
2013-08-21 07:28:13 +00:00
|
|
|
const MachOObjectFile *MOOF);
|
|
|
|
|
|
|
|
StringRef findExternalFunctionAt(uint64_t Addr) LLVM_OVERRIDE;
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
|
|
|
|
void tryAddingPcLoadReferenceComment(raw_ostream &cStream,
|
2013-08-21 07:28:07 +00:00
|
|
|
int64_t Value,
|
|
|
|
uint64_t Address) LLVM_OVERRIDE;
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
};
|
|
|
|
} // End unnamed namespace
|
|
|
|
|
2013-08-21 07:28:07 +00:00
|
|
|
|
2013-08-21 07:28:13 +00:00
|
|
|
MCMachObjectSymbolizer::
|
|
|
|
MCMachObjectSymbolizer(MCContext &Ctx, OwningPtr<MCRelocationInfo> &RelInfo,
|
|
|
|
const MachOObjectFile *MOOF)
|
|
|
|
: MCObjectSymbolizer(Ctx, RelInfo, MOOF), MOOF(MOOF),
|
|
|
|
StubsStart(0), StubsCount(0), StubSize(0), StubsIndSymIndex(0) {
|
|
|
|
|
2014-02-10 20:24:04 +00:00
|
|
|
for (section_iterator SI = MOOF->section_begin(), SE = MOOF->section_end();
|
2014-01-30 02:49:50 +00:00
|
|
|
SI != SE; ++SI) {
|
2013-08-21 07:28:13 +00:00
|
|
|
StringRef Name; SI->getName(Name);
|
|
|
|
if (Name == "__stubs") {
|
|
|
|
SectionRef StubsSec = *SI;
|
|
|
|
if (MOOF->is64Bit()) {
|
2013-09-01 04:28:48 +00:00
|
|
|
MachO::section_64 S = MOOF->getSection64(StubsSec.getRawDataRefImpl());
|
|
|
|
StubsIndSymIndex = S.reserved1;
|
|
|
|
StubSize = S.reserved2;
|
2013-08-21 07:28:13 +00:00
|
|
|
} else {
|
2013-09-01 04:28:48 +00:00
|
|
|
MachO::section S = MOOF->getSection(StubsSec.getRawDataRefImpl());
|
|
|
|
StubsIndSymIndex = S.reserved1;
|
|
|
|
StubSize = S.reserved2;
|
2013-08-21 07:28:13 +00:00
|
|
|
}
|
|
|
|
assert(StubSize && "Mach-O stub entry size can't be zero!");
|
|
|
|
StubsSec.getAddress(StubsStart);
|
|
|
|
StubsSec.getSize(StubsCount);
|
|
|
|
StubsCount /= StubSize;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
StringRef MCMachObjectSymbolizer::findExternalFunctionAt(uint64_t Addr) {
|
|
|
|
// FIXME: also, this can all be done at the very beginning, by iterating over
|
|
|
|
// all stubs and creating the calls to outside functions. Is it worth it
|
|
|
|
// though?
|
|
|
|
if (!StubSize)
|
|
|
|
return StringRef();
|
|
|
|
uint64_t StubIdx = (Addr - StubsStart) / StubSize;
|
|
|
|
if (StubIdx >= StubsCount)
|
|
|
|
return StringRef();
|
|
|
|
|
2013-09-01 04:28:48 +00:00
|
|
|
uint32_t SymtabIdx =
|
2013-08-21 07:28:13 +00:00
|
|
|
MOOF->getIndirectSymbolTableEntry(MOOF->getDysymtabLoadCommand(), StubIdx);
|
|
|
|
|
|
|
|
StringRef SymName;
|
2014-02-10 20:24:04 +00:00
|
|
|
symbol_iterator SI = MOOF->symbol_begin();
|
2014-01-30 02:49:50 +00:00
|
|
|
for (uint32_t i = 0; i != SymtabIdx; ++i)
|
|
|
|
++SI;
|
2013-08-21 07:28:13 +00:00
|
|
|
SI->getName(SymName);
|
2014-02-10 20:24:04 +00:00
|
|
|
assert(SI != MOOF->symbol_end() && "Stub wasn't found in the symbol table!");
|
2013-08-21 07:28:13 +00:00
|
|
|
assert(SymName.front() == '_' && "Mach-O symbol doesn't start with '_'!");
|
|
|
|
return SymName.substr(1);
|
|
|
|
}
|
|
|
|
|
2013-08-21 07:28:07 +00:00
|
|
|
void MCMachObjectSymbolizer::
|
|
|
|
tryAddingPcLoadReferenceComment(raw_ostream &cStream, int64_t Value,
|
|
|
|
uint64_t Address) {
|
|
|
|
if (const RelocationRef *R = findRelocationAt(Address)) {
|
|
|
|
const MCExpr *RelExpr = RelInfo->createExprForRelocation(*R);
|
|
|
|
if (!RelExpr || RelExpr->EvaluateAsAbsolute(Value) == false)
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
uint64_t Addr = Value;
|
|
|
|
if (const SectionRef *S = findSectionContaining(Addr)) {
|
|
|
|
StringRef Name; S->getName(Name);
|
|
|
|
uint64_t SAddr; S->getAddress(SAddr);
|
|
|
|
if (Name == "__cstring") {
|
|
|
|
StringRef Contents;
|
|
|
|
S->getContents(Contents);
|
|
|
|
Contents = Contents.substr(Addr - SAddr);
|
|
|
|
cStream << " ## literal pool for: "
|
|
|
|
<< Contents.substr(0, Contents.find_first_of(0));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
//===- MCObjectSymbolizer -------------------------------------------------===//
|
|
|
|
|
|
|
|
MCObjectSymbolizer::MCObjectSymbolizer(MCContext &Ctx,
|
|
|
|
OwningPtr<MCRelocationInfo> &RelInfo,
|
|
|
|
const ObjectFile *Obj)
|
2013-05-30 18:18:36 +00:00
|
|
|
: MCSymbolizer(Ctx, RelInfo), Obj(Obj), SortedSections(), AddrToReloc() {
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool MCObjectSymbolizer::
|
|
|
|
tryAddingSymbolicOperand(MCInst &MI, raw_ostream &cStream,
|
|
|
|
int64_t Value, uint64_t Address, bool IsBranch,
|
|
|
|
uint64_t Offset, uint64_t InstSize) {
|
2013-08-21 07:28:13 +00:00
|
|
|
if (IsBranch) {
|
|
|
|
StringRef ExtFnName = findExternalFunctionAt((uint64_t)Value);
|
|
|
|
if (!ExtFnName.empty()) {
|
|
|
|
MCSymbol *Sym = Ctx.GetOrCreateSymbol(ExtFnName);
|
|
|
|
const MCExpr *Expr = MCSymbolRefExpr::Create(Sym, Ctx);
|
|
|
|
MI.addOperand(MCOperand::CreateExpr(Expr));
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-08-21 07:28:07 +00:00
|
|
|
if (const RelocationRef *R = findRelocationAt(Address + Offset)) {
|
|
|
|
if (const MCExpr *RelExpr = RelInfo->createExprForRelocation(*R)) {
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
MI.addOperand(MCOperand::CreateExpr(RelExpr));
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
// Only try to create a symbol+offset expression if there is no relocation.
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Interpret Value as a branch target.
|
|
|
|
if (IsBranch == false)
|
|
|
|
return false;
|
|
|
|
uint64_t UValue = Value;
|
|
|
|
// FIXME: map instead of looping each time?
|
2014-02-10 20:24:04 +00:00
|
|
|
for (symbol_iterator SI = Obj->symbol_begin(), SE = Obj->symbol_end();
|
2014-01-30 02:49:50 +00:00
|
|
|
SI != SE; ++SI) {
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
uint64_t SymAddr; SI->getAddress(SymAddr);
|
|
|
|
uint64_t SymSize; SI->getSize(SymSize);
|
|
|
|
StringRef SymName; SI->getName(SymName);
|
|
|
|
SymbolRef::Type SymType; SI->getType(SymType);
|
|
|
|
if (SymAddr == UnknownAddressOrSize || SymSize == UnknownAddressOrSize
|
|
|
|
|| SymName.empty() || SymType != SymbolRef::ST_Function)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
if ( SymAddr == UValue ||
|
|
|
|
(SymAddr <= UValue && SymAddr + SymSize > UValue)) {
|
|
|
|
MCSymbol *Sym = Ctx.GetOrCreateSymbol(SymName);
|
|
|
|
const MCExpr *Expr = MCSymbolRefExpr::Create(Sym, Ctx);
|
|
|
|
if (SymAddr != UValue) {
|
|
|
|
const MCExpr *Off = MCConstantExpr::Create(UValue - SymAddr, Ctx);
|
|
|
|
Expr = MCBinaryExpr::CreateAdd(Expr, Off, Ctx);
|
|
|
|
}
|
|
|
|
MI.addOperand(MCOperand::CreateExpr(Expr));
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectSymbolizer::
|
|
|
|
tryAddingPcLoadReferenceComment(raw_ostream &cStream,
|
|
|
|
int64_t Value, uint64_t Address) {
|
|
|
|
}
|
|
|
|
|
2013-08-21 07:28:07 +00:00
|
|
|
StringRef MCObjectSymbolizer::findExternalFunctionAt(uint64_t Addr) {
|
|
|
|
return StringRef();
|
|
|
|
}
|
|
|
|
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
MCObjectSymbolizer *
|
|
|
|
MCObjectSymbolizer::createObjectSymbolizer(MCContext &Ctx,
|
|
|
|
OwningPtr<MCRelocationInfo> &RelInfo,
|
|
|
|
const ObjectFile *Obj) {
|
2013-08-21 07:28:07 +00:00
|
|
|
if (const MachOObjectFile *MOOF = dyn_cast<MachOObjectFile>(Obj))
|
|
|
|
return new MCMachObjectSymbolizer(Ctx, RelInfo, MOOF);
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
return new MCObjectSymbolizer(Ctx, RelInfo, Obj);
|
|
|
|
}
|
2013-05-30 18:18:36 +00:00
|
|
|
|
|
|
|
// SortedSections implementation.
|
|
|
|
|
|
|
|
static bool SectionStartsBefore(const SectionRef &S, uint64_t Addr) {
|
|
|
|
uint64_t SAddr; S.getAddress(SAddr);
|
|
|
|
return SAddr < Addr;
|
|
|
|
}
|
|
|
|
|
2013-08-21 07:28:07 +00:00
|
|
|
const SectionRef *MCObjectSymbolizer::findSectionContaining(uint64_t Addr) {
|
|
|
|
if (SortedSections.empty())
|
|
|
|
buildSectionList();
|
|
|
|
|
|
|
|
SortedSectionList::iterator
|
2013-05-30 18:18:36 +00:00
|
|
|
EndIt = SortedSections.end(),
|
|
|
|
It = std::lower_bound(SortedSections.begin(), EndIt,
|
|
|
|
Addr, SectionStartsBefore);
|
|
|
|
if (It == EndIt)
|
2013-08-21 07:28:07 +00:00
|
|
|
return 0;
|
2013-05-30 18:18:36 +00:00
|
|
|
uint64_t SAddr; It->getAddress(SAddr);
|
|
|
|
uint64_t SSize; It->getSize(SSize);
|
|
|
|
if (Addr >= SAddr + SSize)
|
2013-08-21 07:28:07 +00:00
|
|
|
return 0;
|
|
|
|
return &*It;
|
|
|
|
}
|
|
|
|
|
|
|
|
const RelocationRef *MCObjectSymbolizer::findRelocationAt(uint64_t Addr) {
|
|
|
|
if (AddrToReloc.empty())
|
|
|
|
buildRelocationByAddrMap();
|
|
|
|
|
|
|
|
AddrToRelocMap::const_iterator RI = AddrToReloc.find(Addr);
|
|
|
|
if (RI == AddrToReloc.end())
|
|
|
|
return 0;
|
|
|
|
return &RI->second;
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectSymbolizer::buildSectionList() {
|
2014-02-10 20:24:04 +00:00
|
|
|
for (section_iterator SI = Obj->section_begin(), SE = Obj->section_end();
|
2014-01-30 02:49:50 +00:00
|
|
|
SI != SE; ++SI) {
|
2013-08-21 07:28:07 +00:00
|
|
|
bool RequiredForExec; SI->isRequiredForExecution(RequiredForExec);
|
|
|
|
if (RequiredForExec == false)
|
|
|
|
continue;
|
|
|
|
uint64_t SAddr; SI->getAddress(SAddr);
|
|
|
|
uint64_t SSize; SI->getSize(SSize);
|
|
|
|
SortedSectionList::iterator It = std::lower_bound(SortedSections.begin(),
|
|
|
|
SortedSections.end(),
|
|
|
|
SAddr,
|
|
|
|
SectionStartsBefore);
|
|
|
|
if (It != SortedSections.end()) {
|
|
|
|
uint64_t FoundSAddr; It->getAddress(FoundSAddr);
|
|
|
|
if (FoundSAddr < SAddr + SSize)
|
|
|
|
llvm_unreachable("Inserting overlapping sections");
|
|
|
|
}
|
|
|
|
SortedSections.insert(It, *SI);
|
|
|
|
}
|
2013-05-30 18:18:36 +00:00
|
|
|
}
|
|
|
|
|
2013-08-21 07:28:07 +00:00
|
|
|
void MCObjectSymbolizer::buildRelocationByAddrMap() {
|
2014-02-10 20:24:04 +00:00
|
|
|
for (section_iterator SI = Obj->section_begin(), SE = Obj->section_end();
|
2014-01-30 02:49:50 +00:00
|
|
|
SI != SE; ++SI) {
|
2013-08-21 07:28:07 +00:00
|
|
|
section_iterator RelSecI = SI->getRelocatedSection();
|
2014-02-10 20:24:04 +00:00
|
|
|
if (RelSecI == Obj->section_end())
|
2013-08-21 07:28:07 +00:00
|
|
|
continue;
|
|
|
|
|
|
|
|
uint64_t StartAddr; RelSecI->getAddress(StartAddr);
|
|
|
|
uint64_t Size; RelSecI->getSize(Size);
|
|
|
|
bool RequiredForExec; RelSecI->isRequiredForExecution(RequiredForExec);
|
|
|
|
if (RequiredForExec == false || Size == 0)
|
|
|
|
continue;
|
2014-02-10 20:24:04 +00:00
|
|
|
for (relocation_iterator RI = SI->relocation_begin(),
|
|
|
|
RE = SI->relocation_end();
|
2014-01-30 02:49:50 +00:00
|
|
|
RI != RE; ++RI) {
|
2013-08-21 07:28:07 +00:00
|
|
|
// FIXME: libObject is inconsistent regarding error handling. The
|
|
|
|
// overwhelming majority of methods always return object_error::success,
|
|
|
|
// and assert for simple errors.. Here, ELFObjectFile::getRelocationOffset
|
|
|
|
// asserts when the file type isn't ET_REL.
|
|
|
|
// This workaround handles x86-64 elf, the only one that has a relocinfo.
|
|
|
|
uint64_t Offset;
|
|
|
|
if (Obj->isELF()) {
|
|
|
|
const ELF64LEObjectFile *ELFObj = dyn_cast<ELF64LEObjectFile>(Obj);
|
|
|
|
if (ELFObj == 0)
|
|
|
|
break;
|
|
|
|
if (ELFObj->getELFFile()->getHeader()->e_type == ELF::ET_REL) {
|
|
|
|
RI->getOffset(Offset);
|
|
|
|
Offset += StartAddr;
|
|
|
|
} else {
|
|
|
|
RI->getAddress(Offset);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
RI->getOffset(Offset);
|
|
|
|
Offset += StartAddr;
|
|
|
|
}
|
|
|
|
// At a specific address, only keep the first relocation.
|
|
|
|
if (AddrToReloc.find(Offset) == AddrToReloc.end())
|
|
|
|
AddrToReloc[Offset] = *RI;
|
|
|
|
}
|
2013-05-30 18:18:36 +00:00
|
|
|
}
|
|
|
|
}
|