LLVM
15.0.0git
|
RuntimeDyld invariant checker for verifying that RuntimeDyld has correctly applied relocations. More...
#include "llvm/ExecutionEngine/RuntimeDyldChecker.h"
Classes | |
class | MemoryRegionInfo |
Public Types | |
using | IsSymbolValidFunction = std::function< bool(StringRef Symbol)> |
using | GetSymbolInfoFunction = std::function< Expected< MemoryRegionInfo >(StringRef SymbolName)> |
using | GetSectionInfoFunction = std::function< Expected< MemoryRegionInfo >(StringRef FileName, StringRef SectionName)> |
using | GetStubInfoFunction = std::function< Expected< MemoryRegionInfo >(StringRef StubContainer, StringRef TargetName)> |
using | GetGOTInfoFunction = std::function< Expected< MemoryRegionInfo >(StringRef GOTContainer, StringRef TargetName)> |
Public Member Functions | |
RuntimeDyldChecker (IsSymbolValidFunction IsSymbolValid, GetSymbolInfoFunction GetSymbolInfo, GetSectionInfoFunction GetSectionInfo, GetStubInfoFunction GetStubInfo, GetGOTInfoFunction GetGOTInfo, support::endianness Endianness, MCDisassembler *Disassembler, MCInstPrinter *InstPrinter, raw_ostream &ErrStream) | |
~RuntimeDyldChecker () | |
bool | check (StringRef CheckExpr) const |
Check a single expression against the attached RuntimeDyld instance. More... | |
bool | checkAllRulesInBuffer (StringRef RulePrefix, MemoryBuffer *MemBuf) const |
Scan the given memory buffer for lines beginning with the string in RulePrefix. More... | |
std::pair< uint64_t, std::string > | getSectionAddr (StringRef FileName, StringRef SectionName, bool LocalAddress) |
Returns the address of the requested section (or an error message in the second element of the pair if the address cannot be found). More... | |
Optional< uint64_t > | getSectionLoadAddress (void *LocalAddress) const |
If there is a section at the given local address, return its load address, otherwise return none. More... | |
RuntimeDyld invariant checker for verifying that RuntimeDyld has correctly applied relocations.
The RuntimeDyldChecker class evaluates expressions against an attached RuntimeDyld instance to verify that relocations have been applied correctly.
The expression language supports basic pointer arithmetic and bit-masking, and has limited disassembler integration for accessing instruction operands and the next PC (program counter) address for each instruction.
The language syntax is:
check = expr '=' expr
expr = binary_expr | sliceable_expr
sliceable_expr = '*{' number '}' load_addr_expr [slice] | '(' expr ')' [slice] | ident_expr [slice] | number [slice]
slice = '[' high-bit-index ':' low-bit-index ']'
load_addr_expr = symbol | '(' symbol '+' number ')' | '(' symbol '-' number ')'
ident_expr = 'decode_operand' '(' symbol ',' operand-index ')' | 'next_pc' '(' symbol ')' | 'stub_addr' '(' stub-container-name ',' symbol ')' | 'got_addr' '(' stub-container-name ',' symbol ')' | symbol
binary_expr = expr '+' expr | expr '-' expr | expr '&' expr | expr '|' expr | expr '<<' expr | expr '>>' expr
Definition at line 74 of file RuntimeDyldChecker.h.
using llvm::RuntimeDyldChecker::GetGOTInfoFunction = std::function<Expected<MemoryRegionInfo>( StringRef GOTContainer, StringRef TargetName)> |
Definition at line 143 of file RuntimeDyldChecker.h.
using llvm::RuntimeDyldChecker::GetSectionInfoFunction = std::function<Expected<MemoryRegionInfo>( StringRef FileName, StringRef SectionName)> |
Definition at line 139 of file RuntimeDyldChecker.h.
using llvm::RuntimeDyldChecker::GetStubInfoFunction = std::function<Expected<MemoryRegionInfo>( StringRef StubContainer, StringRef TargetName)> |
Definition at line 141 of file RuntimeDyldChecker.h.
using llvm::RuntimeDyldChecker::GetSymbolInfoFunction = std::function<Expected<MemoryRegionInfo>(StringRef SymbolName)> |
Definition at line 137 of file RuntimeDyldChecker.h.
using llvm::RuntimeDyldChecker::IsSymbolValidFunction = std::function<bool(StringRef Symbol)> |
Definition at line 135 of file RuntimeDyldChecker.h.
RuntimeDyldChecker::RuntimeDyldChecker | ( | IsSymbolValidFunction | IsSymbolValid, |
GetSymbolInfoFunction | GetSymbolInfo, | ||
GetSectionInfoFunction | GetSectionInfo, | ||
GetStubInfoFunction | GetStubInfo, | ||
GetGOTInfoFunction | GetGOTInfo, | ||
support::endianness | Endianness, | ||
MCDisassembler * | Disassembler, | ||
MCInstPrinter * | InstPrinter, | ||
raw_ostream & | ErrStream | ||
) |
Definition at line 884 of file RuntimeDyldChecker.cpp.
|
default |
bool RuntimeDyldChecker::check | ( | StringRef | CheckExpr | ) | const |
Check a single expression against the attached RuntimeDyld instance.
Definition at line 898 of file RuntimeDyldChecker.cpp.
bool RuntimeDyldChecker::checkAllRulesInBuffer | ( | StringRef | RulePrefix, |
MemoryBuffer * | MemBuf | ||
) | const |
Scan the given memory buffer for lines beginning with the string in RulePrefix.
The remainder of the line is passed to the check method to be evaluated as an expression.
Definition at line 902 of file RuntimeDyldChecker.cpp.
std::pair< uint64_t, std::string > RuntimeDyldChecker::getSectionAddr | ( | StringRef | FileName, |
StringRef | SectionName, | ||
bool | LocalAddress | ||
) |
Returns the address of the requested section (or an error message in the second element of the pair if the address cannot be found).
if 'LocalAddress' is true, this returns the address of the section within the linker's memory. If 'LocalAddress' is false it returns the address within the target process (i.e. the load address).
Definition at line 908 of file RuntimeDyldChecker.cpp.
If there is a section at the given local address, return its load address, otherwise return none.