ROSE  0.11.145.0
Classes | Public Types | Public Member Functions | Static Public Member Functions | Static Public Attributes | Protected Member Functions | List of all members
Rose::BinaryAnalysis::BinaryLoader Class Reference

Description

Base class for loading a static or dynamic object.

The BinaryLoader class is the base class that defines the public interface and provides generic implementations for loading a static or dynamic object. "Loading" means parsing, linking, mapping, and relocating, which are defined as follows:

Some goals of this design are:

The general design is similar to the Disassembler::Base class. The BinaryLoader has class methods to register user-defined loaders with the library and each loader is able to answer whether it is capable of loading a particular kind of binary. ROSE (or any user of this class) can obtain a suitable loader for a particular SgAsmInterpretation, clone it (if desired), modify properties that control its behavior, and use it to load a binary.

Definition at line 54 of file BinaryLoader.h.

#include <Rose/BinaryAnalysis/BinaryLoader.h>

Inheritance diagram for Rose::BinaryAnalysis::BinaryLoader:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::BinaryLoader:
Collaboration graph
[legend]

Classes

class  Exception
 Base class for exceptions thrown by loaders. More...
 

Public Types

enum  MappingContribution {
  CONTRIBUTE_NONE,
  CONTRIBUTE_ADD,
  CONTRIBUTE_SUB
}
 Describes how a section contributes to the overall memory map. More...
 
enum  ConflictResolution {
  RESOLVE_THROW,
  RESOLVE_OVERMAP,
  RESOLVE_REMAP,
  RESOLVE_REMAP_ABOVE
}
 Describes how conflicts are resolved when mapping a section. More...
 
using Ptr = BinaryLoaderPtr
 Referenc counting pointer to BinaryLoader. More...
 
typedef std::vector< ExceptionFixupErrors
 

Public Member Functions

virtual Ptr clone () const
 Creates a new copy of a loader. More...
 
virtual bool canLoad (SgAsmGenericHeader *) const
 Predicate determining the suitability of a loader for a specific file header. More...
 
void appendDirectories (const std::vector< std::string > &dirnames)
 Appends directories to the list of directories searched for libraries. More...
 
virtual std::string findSoFile (const std::string &libname) const
 Convert name to fully qualified name. More...
 
virtual void load (SgAsmInterpretation *)
 Top-level method to do everything. More...
 
virtual void link (SgAsmInterpretation *interp)
 Finds and parses all shared objects needed by an interpretation. More...
 
virtual void remap (SgAsmInterpretation *interp)
 Maps sections of the interpretation into the virtual address space. More...
 
virtual void fixup (SgAsmInterpretation *interp, FixupErrors *errors=NULL)
 Performs relocation fixups on the specified interpretation. More...
 
virtual std::vector< std::string > dependencies (SgAsmGenericHeader *)
 Finds shared object dependencies of a single binary header. More...
 
virtual void remap (Rose::BinaryAnalysis::MemoryMap::Ptr &, SgAsmGenericHeader *)
 Remaps the sections for a particular header. More...
 
virtual SgAsmGenericSectionPtrList getRemapSections (SgAsmGenericHeader *header)
 Selects those sections of a header that should be mapped. More...
 
virtual rose_addr_t rebase (const MemoryMap::Ptr &, SgAsmGenericHeader *header, const SgAsmGenericSectionPtrList &)
 Returns an alternate base virtual address if necessary for remapping. More...
 
rose_addr_t bialign (rose_addr_t val1, rose_addr_t align1, rose_addr_t val2, rose_addr_t align2)
 Calculate adjustment to cause two values to be aligned to two different alignments. More...
 
virtual MappingContribution alignValues (SgAsmGenericSection *, const MemoryMap::Ptr &, rose_addr_t *malign_lo, rose_addr_t *malign_hi, rose_addr_t *va, rose_addr_t *mem_size, rose_addr_t *offset, rose_addr_t *file_size, bool *map_private, rose_addr_t *va_offset, bool *anon_lo, bool *anon_hi, ConflictResolution *resolve)
 For a given section, return information about how the section contributes to the memory map. More...
 
virtual void addSectionsForRemap (SgAsmGenericHeader *header, SgAsmGenericSectionPtrList &allSections)
 Selects loadable sections. More...
 
virtual unsigned mappingPermissions (SgAsmGenericSection *) const
 MemoryMap permissions. More...
 
bool performingDynamicLinking () const
 Property: Whether this loader will perform the linking step. More...
 
void performingDynamicLinking (bool b)
 Property: Whether this loader will perform the linking step. More...
 
bool performingRemap () const
 Property: Whether this loader will perform the mapping step. More...
 
void performingRemap (bool b)
 Property: Whether this loader will perform the mapping step. More...
 
bool performingRelocations () const
 Property: Whether this loader will perform the relocation step. More...
 
void performingRelocations (bool b)
 Property: Whether this loader will perform the relocation step. More...
 
const std::vector< std::string > & preloads () const
 Property: List of libraries that will be pre-loaded. More...
 
std::vector< std::string > & preloads ()
 Property: List of libraries that will be pre-loaded. More...
 
void preloads (const std::vector< std::string > &v)
 Property: List of libraries that will be pre-loaded. More...
 
const std::vector< std::string > & directories () const
 Property: List of directories searched for libraries. More...
 
std::vector< std::string > & directories ()
 Property: List of directories searched for libraries. More...
 
void directories (const std::vector< std::string > &v)
 Property: List of directories searched for libraries. More...
 
virtual bool isLinked (SgBinaryComposite *composite, const std::string &filename)
 Returns true if the specified file name is already linked into the AST.
 
virtual bool isLinked (SgAsmInterpretation *interp, const std::string &filename)
 Returns true if the specified file name is already linked into the AST.
 
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 
 SharedObject (const SharedObject &)
 Copy constructor. More...
 
virtual ~SharedObject ()
 Virtual destructor. More...
 
SharedObjectoperator= (const SharedObject &)
 Assignment. More...
 

Static Public Member Functions

static Ptr instance ()
 Allocating constructor. More...
 
static void initDiagnostics ()
 Initialize diagnostic streams for binary loaders. More...
 
static void registerSubclass (const Ptr &)
 Register a loader instance. More...
 
static Ptr lookup (SgAsmGenericHeader *)
 Finds a suitable loader. More...
 
static Ptr lookup (SgAsmInterpretation *)
 Finds a suitable loader. More...
 
static void load (SgBinaryComposite *composite, bool read_executable_file_format_only=false)
 Top-level method to do everything. More...
 
static SgAsmGenericFilecreateAsmAST (SgBinaryComposite *composite, std::string filePath)
 Parses a single binary file. More...
 
static int64_t gcd (int64_t a, int64_t b, int64_t *x=NULL, int64_t *y=NULL)
 Extended Euclid Algorithm. More...
 
static SgAsmGenericHeaderPtrList findSimilarHeaders (SgAsmGenericHeader *matchHeader, SgAsmGenericHeaderPtrList &candidateHeaders)
 Find headers similar to given header. More...
 
static bool isHeaderSimilar (SgAsmGenericHeader *, SgAsmGenericHeader *)
 Determines whether two headers are similar. More...
 

Static Public Attributes

static Sawyer::Message::Facility mlog
 Logging facility initialized by initDiagnostics(). More...
 

Protected Member Functions

 BinaryLoader (const BinaryLoader &other)
 Copy constructor. More...
 

Member Typedef Documentation

Referenc counting pointer to BinaryLoader.

Definition at line 60 of file BinaryLoader.h.

Member Enumeration Documentation

Describes how a section contributes to the overall memory map.

Enumerator
CONTRIBUTE_NONE 

Section does not contribute to final mapping.

CONTRIBUTE_ADD 

Section is added to the mapping.

CONTRIBUTE_SUB 

Section is subtracted from the mapping.

Definition at line 63 of file BinaryLoader.h.

Describes how conflicts are resolved when mapping a section.

Enumerator
RESOLVE_THROW 

Throw an exception such as MemoryMap::Inconsistent.

RESOLVE_OVERMAP 

Free the part of the original mapping that is in conflict.

RESOLVE_REMAP 

Move the section to any unused part of the address space.

RESOLVE_REMAP_ABOVE 

Move the section to a higher unused part of the address space.

Definition at line 71 of file BinaryLoader.h.

Constructor & Destructor Documentation

Rose::BinaryAnalysis::BinaryLoader::BinaryLoader ( const BinaryLoader other)
inlineprotected

Copy constructor.

Definition at line 114 of file BinaryLoader.h.

Member Function Documentation

static Ptr Rose::BinaryAnalysis::BinaryLoader::instance ( )
inlinestatic

Allocating constructor.

Definition at line 125 of file BinaryLoader.h.

virtual Ptr Rose::BinaryAnalysis::BinaryLoader::clone ( ) const
inlinevirtual

Creates a new copy of a loader.

The new copy has all the same settings as the original. Subclasses that define data methods should certainly provide an implementation of this method, although all they'll need to change is the data type for the 'new' operator.

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderElf, Rose::BinaryAnalysis::BinaryLoaderPe, and Rose::BinaryAnalysis::BinaryLoaderElfObj.

Definition at line 133 of file BinaryLoader.h.

static void Rose::BinaryAnalysis::BinaryLoader::initDiagnostics ( )
static

Initialize diagnostic streams for binary loaders.

static void Rose::BinaryAnalysis::BinaryLoader::registerSubclass ( const Ptr )
static

Register a loader instance.

More specific loader instances should be registered after more general loaders since the lookup() method will inspect loaders in reverse order of their registration.

virtual bool Rose::BinaryAnalysis::BinaryLoader::canLoad ( SgAsmGenericHeader ) const
inlinevirtual

Predicate determining the suitability of a loader for a specific file header.

If this loader is capable of loading the specified file header, then this predicate returns true, otherwise it returns false. The implementation in BinaryLoader always returns true because BinaryLoader is able to generically load all types of files, albeit with limited functionality. Subclasses should certainly redefine this method so it returns true only for certain headers.

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderElf, Rose::BinaryAnalysis::BinaryLoaderPe, and Rose::BinaryAnalysis::BinaryLoaderElfObj.

Definition at line 162 of file BinaryLoader.h.

static Ptr Rose::BinaryAnalysis::BinaryLoader::lookup ( SgAsmGenericHeader )
static

Finds a suitable loader.

Looks through the list of registered loader instances (from most recently registered to earliest registered) and returns the first one whose can_load() predicate returns true. Throws an exception if no suitable loader can be found.

static Ptr Rose::BinaryAnalysis::BinaryLoader::lookup ( SgAsmInterpretation )
static

Finds a suitable loader.

Looks through the list of registered loader instances (from most recently registered to earliest registered) and returns the first one whose can_load() predicate returns true. This is done for each header contained in the interpretation and the loader for each header must match the other headers. An exception is thrown if no suitable loader can be found.

bool Rose::BinaryAnalysis::BinaryLoader::performingDynamicLinking ( ) const
inline

Property: Whether this loader will perform the linking step.

To "link" means to recursively determine what shared objects are dependencies of the objects already in the AST and to parse them, adding them to the AST also.

Definition at line 193 of file BinaryLoader.h.

void Rose::BinaryAnalysis::BinaryLoader::performingDynamicLinking ( bool  b)
inline

Property: Whether this loader will perform the linking step.

To "link" means to recursively determine what shared objects are dependencies of the objects already in the AST and to parse them, adding them to the AST also.

Definition at line 194 of file BinaryLoader.h.

bool Rose::BinaryAnalysis::BinaryLoader::performingRemap ( ) const
inline

Property: Whether this loader will perform the mapping step.

To "map" a section means to make the section's content available through a MemoryMap object attached to the interpretation that holds the section. This step also resolves conflicts between two or more sections that request overlapping areas of memory.

Definition at line 204 of file BinaryLoader.h.

void Rose::BinaryAnalysis::BinaryLoader::performingRemap ( bool  b)
inline

Property: Whether this loader will perform the mapping step.

To "map" a section means to make the section's content available through a MemoryMap object attached to the interpretation that holds the section. This step also resolves conflicts between two or more sections that request overlapping areas of memory.

Definition at line 205 of file BinaryLoader.h.

bool Rose::BinaryAnalysis::BinaryLoader::performingRelocations ( ) const
inline

Property: Whether this loader will perform the relocation step.

To "relocate" means to process the relocation sections of an executable and apply "fixups" to parts of memory that have been mapped. The fixups are computed based on the original contents of that memory and the difference in locations from the section's preferred memory location and the location chosen by this loader during the mapping phase. There are many kinds of relocation fixups.

Definition at line 216 of file BinaryLoader.h.

void Rose::BinaryAnalysis::BinaryLoader::performingRelocations ( bool  b)
inline

Property: Whether this loader will perform the relocation step.

To "relocate" means to process the relocation sections of an executable and apply "fixups" to parts of memory that have been mapped. The fixups are computed based on the original contents of that memory and the difference in locations from the section's preferred memory location and the location chosen by this loader during the mapping phase. There are many kinds of relocation fixups.

Definition at line 217 of file BinaryLoader.h.

const std::vector<std::string>& Rose::BinaryAnalysis::BinaryLoader::preloads ( ) const
inline

Property: List of libraries that will be pre-loaded.

These libraries are linked into the AST in the order they were added to the preload list. The libname should be either the base name of a library, such as "libm.so" (in which case the search directories are consulted) or a path-qualified name like "/usr/lib/libm.so".

Definition at line 234 of file BinaryLoader.h.

std::vector<std::string>& Rose::BinaryAnalysis::BinaryLoader::preloads ( )
inline

Property: List of libraries that will be pre-loaded.

These libraries are linked into the AST in the order they were added to the preload list. The libname should be either the base name of a library, such as "libm.so" (in which case the search directories are consulted) or a path-qualified name like "/usr/lib/libm.so".

Definition at line 235 of file BinaryLoader.h.

void Rose::BinaryAnalysis::BinaryLoader::preloads ( const std::vector< std::string > &  v)
inline

Property: List of libraries that will be pre-loaded.

These libraries are linked into the AST in the order they were added to the preload list. The libname should be either the base name of a library, such as "libm.so" (in which case the search directories are consulted) or a path-qualified name like "/usr/lib/libm.so".

Definition at line 236 of file BinaryLoader.h.

const std::vector<std::string>& Rose::BinaryAnalysis::BinaryLoader::directories ( ) const
inline

Property: List of directories searched for libraries.

This is similar to the LD_LIBRARY_PATH environment variable of the ld-linux.so dynamic loader (see the ld.so man page). ROSE searches for libraries in directories in the order that directories were added.

Definition at line 245 of file BinaryLoader.h.

std::vector<std::string>& Rose::BinaryAnalysis::BinaryLoader::directories ( )
inline

Property: List of directories searched for libraries.

This is similar to the LD_LIBRARY_PATH environment variable of the ld-linux.so dynamic loader (see the ld.so man page). ROSE searches for libraries in directories in the order that directories were added.

Definition at line 246 of file BinaryLoader.h.

void Rose::BinaryAnalysis::BinaryLoader::directories ( const std::vector< std::string > &  v)
inline

Property: List of directories searched for libraries.

This is similar to the LD_LIBRARY_PATH environment variable of the ld-linux.so dynamic loader (see the ld.so man page). ROSE searches for libraries in directories in the order that directories were added.

Definition at line 247 of file BinaryLoader.h.

void Rose::BinaryAnalysis::BinaryLoader::appendDirectories ( const std::vector< std::string > &  dirnames)
inline

Appends directories to the list of directories searched for libraries.

This is similar to the LD_LIBRARY_PATH environment variable of the ld-linux.so dynamic loader (see the ld.so man page). ROSE searches for libraries in directories in the order that directories were added.

Definition at line 254 of file BinaryLoader.h.

virtual std::string Rose::BinaryAnalysis::BinaryLoader::findSoFile ( const std::string &  libname) const
virtual

Convert name to fully qualified name.

Given the name of a shared object, return the fully qualified name where the library is located in the file system. Throws a BinaryLoader::Exception if the library cannot be found.

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderPe.

static void Rose::BinaryAnalysis::BinaryLoader::load ( SgBinaryComposite composite,
bool  read_executable_file_format_only = false 
)
static

Top-level method to do everything.

Class method to parse, map, link, and/or relocate all interpretations of the specified binary composite. This should only be called for an SgBinaryComposite object that has been created but for which no binary files have been parsed yet. It's only called from sage_support.C by SgBinaryComposite::buildAST(). A BinaryLoader::Exception is thrown if there's an error of some sort.

virtual void Rose::BinaryAnalysis::BinaryLoader::load ( SgAsmInterpretation )
virtual

Top-level method to do everything.

Conditionally parse, map, link, and/or relocate the interpretation according to properties of this loader. If an error occurs, a BinaryLoader::Exception will be thrown. The interpretation must be one that can be loaded by this loader as returned by this loader's can_load() method.

virtual void Rose::BinaryAnalysis::BinaryLoader::link ( SgAsmInterpretation interp)
virtual

Finds and parses all shared objects needed by an interpretation.

Links an interpretation by parsing all shared objects required by that interpretation. In other words, all dependencies of the interpretation are parsed and added to the AST. As mentioned in the BinaryLoader documentation, this process is referred to as "linking".

Recursively perform a breadth-first search of all headers, starting with the headers already in the interpretation. For each header, obtain a list of necessary shared objects (pruning away those that have already been processed) and parse the shared object, adding it to the AST and adding its appropriate headers to the interpretation. Parsing of the shared objects is performed by calling createAsmAST().

This process is recursive in nature. A dynamically linked executable has a list of libraries on which it depends, and those libraries also often have dependencies. The recursion is breadth-first because ELF specifies a particular order that symbols should be resolved. Order is not important for a PE binary since its shared object symbols are scoped to a library.

The list of dependencies for a particular header is obtained by the getDLLs() method, which is also responsible for not returning any shared object that we've already parsed.

Throws a BinaryLoader::Exception if any error occurs.

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderPe.

virtual void Rose::BinaryAnalysis::BinaryLoader::remap ( SgAsmInterpretation interp)
virtual

Maps sections of the interpretation into the virtual address space.

This function uses the existing MemoryMap attached to the interpretation if it is available, or creates and attaches a new, empty MemoryMap. When using an existing MemoryMap, the map is not cleared. This enables the caller to reserve space in memory.

The mapping algorithms consult each section's preferred address (SgAsmGenericSection::get_mapped_preferred_rva()) and update the section's actual address (SgAsmGenericSection::get_mapped_actual_rva()), adjusting the interpretation's MemoryMap in the process. The algorithms are applied to one binary file header at a time in the order the headers appear in the interpretation. The algorithms may control the order that sections are mapped within any given header.

Subclasses normally don't override this method, but rather the remap() method that is called by this method, namely the remap() that takes a memory map and file header as arguments.

This method throws a BinaryLoader::Exception if an error occurs.

virtual void Rose::BinaryAnalysis::BinaryLoader::fixup ( SgAsmInterpretation interp,
FixupErrors *  errors = NULL 
)
virtual

Performs relocation fixups on the specified interpretation.

This should be called after sections are mapped into memory by remap(). If an error occurs, then this function either throws the error (BinaryLoader::Exception) or appends it to the errors container (if errors is non-null).

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderElf, and Rose::BinaryAnalysis::BinaryLoaderPe.

static SgAsmGenericFile* Rose::BinaryAnalysis::BinaryLoader::createAsmAST ( SgBinaryComposite composite,
std::string  filePath 
)
static

Parses a single binary file.

The file may be an executable, core dump, or shared library. The machine instructions in the file are not parsed–only the binary container is parsed. The new SgAsmGenericFile is added to the supplied binary composite and a new interpretation is created if necessary. Dwarf debugging information is also parsed and added to the AST if Dwarf support is enable and the information is present in the binary container.

virtual std::vector<std::string> Rose::BinaryAnalysis::BinaryLoader::dependencies ( SgAsmGenericHeader )
virtual

Finds shared object dependencies of a single binary header.

Returns a list of dependencies, which are usually library names rather than actual files. The library names can be turned into file names by calling find_so_file(). Only one header is inspected (i.e., this function is not recursive) and no attempt is made to remove names from the return value that have already been parsed into the AST.

virtual void Rose::BinaryAnalysis::BinaryLoader::remap ( Rose::BinaryAnalysis::MemoryMap::Ptr ,
SgAsmGenericHeader  
)
virtual

Remaps the sections for a particular header.

This method is often replaced by subclasses since this is where decisions are made about alignment. Different operating systems and their loaders have different alignment policies.

virtual SgAsmGenericSectionPtrList Rose::BinaryAnalysis::BinaryLoader::getRemapSections ( SgAsmGenericHeader header)
inlinevirtual

Selects those sections of a header that should be mapped.

Returns the sections in the order they should be mapped.

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderElf, Rose::BinaryAnalysis::BinaryLoaderPe, and Rose::BinaryAnalysis::BinaryLoaderElfObj.

Definition at line 367 of file BinaryLoader.h.

References SgAsmGenericHeader::get_mapped_sections().

virtual rose_addr_t Rose::BinaryAnalysis::BinaryLoader::rebase ( const MemoryMap::Ptr ,
SgAsmGenericHeader header,
const SgAsmGenericSectionPtrList &   
)
inlinevirtual

Returns an alternate base virtual address if necessary for remapping.

For instance, when mapping multiple ELF files, each file should be mapped above a particular address that doesn't conflict with anything that's already mapped. If a new base address is returned, then the remapper will temporarily adjust the base address of the file header for the duration of the mapping operation. The default is to return the current base address.

This method is called with a memory map that describes what has been mapped so far, a file header for the sections that are about to be mapped, and a list of sections about to be mapped.

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderElf, and Rose::BinaryAnalysis::BinaryLoaderPe.

Definition at line 380 of file BinaryLoader.h.

References SgAsmGenericHeader::get_base_va().

static int64_t Rose::BinaryAnalysis::BinaryLoader::gcd ( int64_t  a,
int64_t  b,
int64_t *  x = NULL,
int64_t *  y = NULL 
)
static

Extended Euclid Algorithm.

The Euclid algorithm for finding the greatest common divisor (GCD) of two natural numbers, extended to also compute a solution to Bezout's Identity. Bezout's Identity states that if a and b are two non-zero integers with greatest common divisor d, then there exist integers x and y (called Bezout Coefficients), such that $ a x + b y = d $. Additionally d is the smallest positive integer for which there are integer solutions to the preceding equation.

The returned value is the greatest common divisor of a and b. If the caller supplies non-null pointers for x and y then a pair of Bezout Coefficients are returned through those pointers.

rose_addr_t Rose::BinaryAnalysis::BinaryLoader::bialign ( rose_addr_t  val1,
rose_addr_t  align1,
rose_addr_t  val2,
rose_addr_t  align2 
)

Calculate adjustment to cause two values to be aligned to two different alignments.

Given two values and two alignments, return the smallest integer adjustment such that subtracting the adjustment from both values results in each value satisfying its alignment constraint.

Note that it is not always possible to find an adjustment. When no adjustment can be found an Exception is thrown.

virtual MappingContribution Rose::BinaryAnalysis::BinaryLoader::alignValues ( SgAsmGenericSection ,
const MemoryMap::Ptr ,
rose_addr_t *  malign_lo,
rose_addr_t *  malign_hi,
rose_addr_t *  va,
rose_addr_t *  mem_size,
rose_addr_t *  offset,
rose_addr_t *  file_size,
bool *  map_private,
rose_addr_t *  va_offset,
bool *  anon_lo,
bool *  anon_hi,
ConflictResolution resolve 
)
virtual

For a given section, return information about how the section contributes to the memory map.

The algorithm may use information from the section itself and the memory map as defined up to this point in the mapping process. The main return value is an indication of whether the section adds to the map, subtracts from the map, or does nothing to the map. The remaining arguments are grouped according to their purpose:

  • Memory alignment. The malign_lo and malign_hi indicate how the section must be aligned in memory. In particular, the va return value will be a multiple of malign_lo, and the sum of va and mem_size will be a multiple of malign_hi.
  • Memory location: The va value is the low virtual address of the new mapping, and the mem_size is the number of bytes to map.
  • File location: The offset value is the byte offset from the beginning of the file in which this section appears, and the file_size is the number of bytes to map from the file into memory. The file_size may be smaller than the mem_size (see below).
  • Internal offset: The size of the memory mapping may be larger than the section itself. When this happens, the section will be located somewhere inside the mapped region. The va_offset is the offset of the section with respect to va (it must be non-negative). The boolean return values anon_lo and anon_hi determine whether ROSE will map file contents (false) or zeros (true) below and above the section when the section is smaller than the mapped region. Zeros are always used for areas that are beyond the end of the file.
  • Allocation: If map_private is true upon return, then the memory map will point to a copy of the file contents rather than directly into the file. This simulates "private" mappings. The default (if align_values() doesn't change it, is false.
  • Conflicts: If an attempt is made to map a region into part of the address space that already has a mapping, then one of three things can happen: (1) a MemoryMap::Inconsistent exception is thrown, (2) a hole can be created by first unmapping the space in conflict, or (3) a new mapping can be chosen automatically. The resolve result indicates what should happen.

Subclasses often override this method since each operating system tends to have unique rules about how things are mapped and how conflicts are resolved.

If so desired, the conflict resolution may be handled by the align_values() method itself since the memory map is available there. However, a benefit of allowing a higher layer to resolve the conflict is that diagnostics will be produced automatically when debugging is enabled.

Likewise, this method is allowed to perform the mapping itself if the algorithm in the caller, remap(), cannot be sufficiently influenced by the values that are returned. In this case, this method should perform the mapping and return CONTRIB_NONE to prevent the caller from doing any further mapping.

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderElf, Rose::BinaryAnalysis::BinaryLoaderPe, and Rose::BinaryAnalysis::BinaryLoaderElfObj.

virtual void Rose::BinaryAnalysis::BinaryLoader::addSectionsForRemap ( SgAsmGenericHeader header,
SgAsmGenericSectionPtrList &  allSections 
)
virtual

Selects loadable sections.

Selects those sections which should be layed out by the Loader and inserts them into the allSections argument. The default implementation (in this base class) is to add all sections to the list. Subclasses will likely restrict this to a subset of sections.

static SgAsmGenericHeaderPtrList Rose::BinaryAnalysis::BinaryLoader::findSimilarHeaders ( SgAsmGenericHeader matchHeader,
SgAsmGenericHeaderPtrList &  candidateHeaders 
)
static

Find headers similar to given header.

Find all headers in candidateHeaders that are similar to matchHeader.

This is used to determine whether two headers can be placed in the same SgAsmInterpretation. We make this determination by looking at whether the Disassembler::Base for each header is the same. In other words, an x86_64 header will not be similar to an i386 header even though they are both ELF headers and both x86 architectures.

static bool Rose::BinaryAnalysis::BinaryLoader::isHeaderSimilar ( SgAsmGenericHeader ,
SgAsmGenericHeader  
)
static

Determines whether two headers are similar.

Determines whether two headers are similar enough to be in the same interpretation. Two headers are similar if disassembly would use the same Disassembler::Base for both. See findSimilarHeaders().

virtual unsigned Rose::BinaryAnalysis::BinaryLoader::mappingPermissions ( SgAsmGenericSection ) const
virtual

MemoryMap permissions.

Returns the permissions that should be used when mapping the specified section into memory. The default implementation in the base class uses the access permissions stored in the section. Subclasses can override this method to provide other permissions without resorting to changing the AST (which would be misleading for other analysis).

Reimplemented in Rose::BinaryAnalysis::BinaryLoaderElfObj.

Member Data Documentation

Sawyer::Message::Facility Rose::BinaryAnalysis::BinaryLoader::mlog
static

Logging facility initialized by initDiagnostics().

Definition at line 95 of file BinaryLoader.h.


The documentation for this class was generated from the following file: