A region where processor data is stored. More...

#include <space.hh>

Inheritance diagram for AddrSpace:

Public Types
enum	{ big_endian = 1, heritaged = 2, does_deadcode = 4, programspecific = 8, reverse_justification = 16, overlay = 32, overlaybase = 64, truncated = 128, hasphysical = 256 }

Public Member Functions
	AddrSpace (AddrSpaceManager m, const Translate t, spacetype tp, const string &nm, uint4 size, uint4 ws, int4 ind, uint4 fl, int4 dl)

	AddrSpace (AddrSpaceManager m, const Translate t, spacetype tp)
	For use with restoreXml. More...

virtual	~AddrSpace (void)
	The address space destructor.

const string &	getName (void) const
	Get the name. More...

AddrSpaceManager *	getManager (void) const
	Get the space manager. More...

const Translate *	getTrans (void) const
	Get the processor translator. More...

spacetype	getType (void) const
	Get the type of space. More...

int4	getDelay (void) const
	Get number of heritage passes being delayed. More...

int4	getDeadcodeDelay (void) const
	Get number of passes before deadcode removal is allowed. More...

int4	getIndex (void) const
	Get the integer identifier. More...

uint4	getWordSize (void) const
	Get the addressable unit size. More...

uint4	getAddrSize (void) const
	Get the size of the space. More...

uintb	getHighest (void) const
	Get the highest byte-scaled address. More...

uintb	wrapOffset (uintb off) const
	Wrap -off- to the offset that fits into this space. More...

char	getShortcut (void) const
	Get the shortcut character. More...

bool	contain (AddrSpace *id2) const
	Determine if this space contains another. More...

bool	isHeritaged (void) const
	Return true if dataflow has been traced. More...

bool	doesDeadcode (void) const
	Return true if dead code analysis should be done on this space. More...

bool	hasPhysical (void) const
	Return true if data is physically stored in this. More...

bool	isBigEndian (void) const
	Return true if values in this space are big endian. More...

bool	isReverseJustified (void) const
	Return true if alignment justification does not match endianness. More...

bool	isOverlay (void) const
	Return true if this is an overlay space.

bool	isOverlayBase (void) const
	Return true if other spaces overlay this space.

bool	isTruncated (void) const
	Return true if this space is truncated from its original size. More...

uintm	data2Uintm (const uint1 *ptr, int4 size) const
	Convert a sequence of bytes into an integer value. More...

void	printOffset (ostream &s, uintb offset) const
	Write an address offset to a stream. More...

virtual int4	numSpacebase (void) const
	Number of base registers associated with this space. More...

virtual const VarnodeData &	getSpacebase (int4 i) const
	Get a base register that creates this virtual space. More...

virtual const VarnodeData &	getSpacebaseFull (int4 i) const
	Return original spacebase register before truncation. More...

virtual bool	stackGrowsNegative (void) const
	Return true if a stack in this space grows negative. More...

virtual AddrSpace *	getContain (void) const
	Return this space's containing space (if any) More...

virtual void	saveXmlAttributes (ostream &s, uintb offset) const
	Save an address as XML. More...

virtual void	saveXmlAttributes (ostream &s, uintb offset, int4 size) const
	Save an address and size as XML. More...

virtual uintb	restoreXmlAttributes (const Element *el, uint4 &size) const
	Recover an offset and size. More...

virtual void	printRaw (ostream &s, uintb offset) const
	Write an address in this space to a stream. More...

virtual uintb	read (const string &s, int4 &size) const
	Read in an address (and possible size) from a string. More...

virtual void	saveXml (ostream &s) const
	Write the details of this space as XML. More...

virtual void	restoreXml (const Element *el)
	Recover the details of this space from XML. More...

Static Public Member Functions
static uintb	addressToByte (uintb val, uint4 ws)
	Scale from addressable units to byte units. More...

static uintb	byteToAddress (uintb val, uint4 ws)
	Scale from byte units to addressable units. More...

static int4	addressToByteInt (int4 val, uint4 ws)
	Scale int4 from addressable units to byte units. More...

static int4	byteToAddressInt (int4 val, uint4 ws)
	Scale int4 from byte units to addressable units. More...

Protected Member Functions
void	calcScaleMask (void)
	Calculate scale and mask. More...

void	assignShortcut (void)
	Assign a shortcut character to the space. More...

void	setFlags (uint4 fl)
	Set a cached attribute. More...

void	clearFlags (uint4 fl)
	Clear a cached attribute. More...

void	saveBasicAttributes (ostream &s) const
	Write the XML attributes of this space. More...

void	truncateSpace (uint4 newsize)

Protected Attributes
string	name
	Name of this space.

uint4	addressSize
	Size of an address into this space in bytes.

uint4	wordsize
	Size of unit being addressed (1=byte)

int4	index
	An integer identifier for the space.

int4	delay
	Delay in heritaging this space.

int4	deadcodedelay
	Delay before deadcode removal is allowed on this space.

Private Attributes
spacetype	type
	Type of space (PROCESSOR, CONSTANT, INTERNAL, ...)

AddrSpaceManager *	manage
	Manager for processor using this space.

const Translate *	trans
	Processor translator (for register names etc) for this space.

int4	refcount
	Number of managers using this space.

uint4	flags
	Attributes of the space.

uintb	highest
	Highest (byte) offset into this space.

char	shortcut
	Shortcut character for printing.

Friends
class	AddrSpaceManager

Detailed Description

A region where processor data is stored.

An AddrSpace (Address Space) is an arbitrary sequence of bytes where a processor can store data. As is usual with most processors' concept of RAM, an integer offset paired with an AddrSpace forms the address (See Address) of a byte. The size of an AddrSpace indicates the number of bytes that can be separately addressed and is usually described by the number of bytes needed to encode the biggest offset. I.e. a 4-byte address space means that there are offsets ranging from 0x00000000 to 0xffffffff within the space for a total of 2^32 addressable bytes within the space. There can be multiple address spaces, and it is typical to have spaces

ram Modelling the main processor address bus
register Modelling a processors registers

The processor specification can set up any address spaces it needs in an arbitrary manner, but all data manipulated by the processor, which the specification hopes to model, must be contained in some address space, including RAM, ROM, general registers, special registers, i/o ports, etc.

The analysis engine also uses additional address spaces to model special concepts. These include

const There is a constant address space for modelling constant values in pcode expressions (See ConstantSpace)
unique There is always a unique address space used as a pool for temporary registers. (See UniqueSpace)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

Enumerator
big_endian	Space is big endian if set, little endian otherwise.
heritaged	This space is heritaged.
does_deadcode	Dead-code analysis is done on this space.
programspecific	Space is specific to a particular loadimage.
reverse_justification	Justification within aligned word is opposite of endianness.
overlay	This space is an overlay of another space.
overlaybase	This is the base space for overlay space(s)
truncated	Space is truncated from its original size, expect pointers larger than this size.
hasphysical	Has physical memory associated with it.

Constructor & Destructor Documentation

◆ AddrSpace() [1/2]

AddrSpace::AddrSpace	(	AddrSpaceManager *	m,
		const Translate *	t,
		spacetype	tp,
		const string &	nm,
		uint4	size,
		uint4	ws,
		int4	ind,
		uint4	fl,
		int4	dl
	)

Initialize an address space with its basic attributes

Parameters

m	is the space manager associated with the new space
t	is the processor translator associated with the new space
tp	is the type of the new space (PROCESSOR, CONSTANT, INTERNAL,...)
nm	is the name of the new space
size	is the (offset encoding) size of the new space
ws	is the number of bytes in an addressable unit
ind	is the integer identifier for the new space
fl	can be 0 or AddrSpace::hasphysical
dl	is the number of rounds to delay heritage for the new space

References addressSize, assignShortcut(), big_endian, calcScaleMask(), deadcodedelay, delay, does_deadcode, flags, hasphysical, heritaged, index, Translate::isBigEndian(), manage, name, refcount, trans, type, and wordsize.

◆ AddrSpace() [2/2]

AddrSpace::AddrSpace	(	AddrSpaceManager *	m,
		const Translate *	t,
		spacetype	tp
	)

For use with restoreXml.

This is a partial constructor, for initializing a space via XML

Parameters

m	the associated address space manager
t	is the processor translator
tp	the basic type of the space

References does_deadcode, flags, heritaged, manage, refcount, trans, type, and wordsize.

Member Function Documentation

◆ addressToByte()

uintb AddrSpace::addressToByte	(	uintb	val,
		uint4	ws
	)

inlinestatic

Scale from addressable units to byte units.

Given an offset into an address space based on the addressable unit size (wordsize), convert it into a byte relative offset

Parameters

val	is the offset to convert
ws	is the number of bytes in the addressable word

Returns: the scaled offset

Referenced by LoadImageXml::adjustVma(), RawLoadImage::adjustVma(), ActionDeindirect::apply(), RuleLoadVarnode::applyOp(), RuleStoreVarnode::applyOp(), RulePtrsubUndo::applyOp(), EmulatePcodeOp::executeLoad(), EmulateFunction::executeLoad(), EmulateSnippet::executeLoad(), EmulateMemory::executeLoad(), EmulateMemory::executeStore(), TypeOpPtrsub::getOutputToken(), PrintC::opPtrsub(), ActionInferTypes::propagateAddIn2Out(), PrintC::pushPtrCodeConstant(), read(), SegmentedResolver::resolve(), AddrSpaceManager::resolveConstant(), and RulePtrArith::transformPtr().

◆ addressToByteInt()

int4 AddrSpace::addressToByteInt	(	int4	val,
		uint4	ws
	)

inlinestatic

Scale int4 from addressable units to byte units.

Given an int4 offset into an address space based on the addressable unit size (wordsize), convert it into a byte relative offset

Parameters

val	is the offset to convert
ws	is the number of bytes in the addressable word

Returns: the scaled offset

Referenced by RulePtrArith::applyOp(), RulePtraddUndo::applyOp(), and RulePtrsubUndo::applyOp().

◆ assignShortcut()

void AddrSpace::assignShortcut ( void )

protected

Assign a shortcut character to the space.

Called once during initialization to assign a single character shortcut for the space The character is used as a shorthand when typing addresses on the console command line

References AddrSpaceManager::assignShortcut(), manage, shortcut, and type.

Referenced by AddrSpace(), restoreXml(), and OverlaySpace::restoreXml().

◆ byteToAddress()

uintb AddrSpace::byteToAddress	(	uintb	val,
		uint4	ws
	)

inlinestatic

Scale from byte units to addressable units.

Given an offset in an address space based on bytes, convert it into an offset relative to the addressable unit of the space (wordsize)

Parameters

val	is the offset to convert
ws	is the number of bytes in the addressable word

Returns: the scaled offset

Referenced by ScopeLocal::buildVariableName(), ScopeInternal::buildVariableName(), Funcdata::createStackRef(), printRaw(), PrintC::pushAnnotation(), Funcdata::spacebaseConstant(), and RulePtrArith::transformPtr().

◆ byteToAddressInt()

int4 AddrSpace::byteToAddressInt	(	int4	val,
		uint4	ws
	)

inlinestatic

Scale int4 from byte units to addressable units.

Given an int4 offset in an address space based on bytes, convert it into an offset relative to the addressable unit of the space (wordsize)

Parameters

val	is the offset to convert
ws	is the number of bytes in the addressable word

Returns: the scaled offset

Referenced by RulePtrArith::transformPtr().

◆ calcScaleMask()

void AddrSpace::calcScaleMask ( void )

protected

Calculate scale and mask.

Calculate highest based on addressSize, and wordsize.

References addressSize, calc_mask(), highest, and wordsize.

Referenced by AddrSpace(), restoreXml(), OverlaySpace::restoreXml(), and truncateSpace().

◆ clearFlags()

void AddrSpace::clearFlags ( uint4 fl )

inlineprotected

Clear a cached attribute.

An internal method for derived classes to clear space attibutes

Parameters

fl	is the set of attributes to clear

References flags.

Referenced by ConstantSpace::ConstantSpace(), FspecSpace::FspecSpace(), IopSpace::IopSpace(), and JoinSpace::JoinSpace().

◆ contain()

bool AddrSpace::contain ( AddrSpace * id2 ) const

Determine if this space contains another.

Check if this space contains id2.

Parameters

id2	is the space to check

Returns: true if id2 is contained

References getContain().

Referenced by Heritage::guardStores().

◆ data2Uintm()

uintm AddrSpace::data2Uintm	(	const uint1 *	ptr,
		int4	size
	)		const

Convert a sequence of bytes into an integer value.

Convert an array of bytes, which we assume are contained in the space, into an integer value. The conversion depends on the endian property of the space

Parameters

ptr	is the array of bytes
size	is the size of the array to convert

Returns: the converted integer value

References big_endian, and flags.

◆ doesDeadcode()

bool AddrSpace::doesDeadcode ( void ) const

inline

Return true if dead code analysis should be done on this space.

Most memory locations should have dead-code analysis performed, and this routine will return true. For certain special spaces like the constant space, dead-code analysis doesn't make sense, and this routine returns false.

References does_deadcode, and flags.

Referenced by ActionDeadCode::apply(), and RuleEarlyRemoval::applyOp().

◆ getAddrSize()

uint4 AddrSpace::getAddrSize ( void ) const

inline

Get the size of the space.

Return the number of bytes needed to represent an offset into this space. A space with 2^32 bytes has an address size of 4, for instance.

Returns: the size of an address

References addressSize.

Referenced by ActionConstantPtr::apply(), ActionPrototypeTypes::apply(), RulePtrFlow::applyOp(), ParamListStandard::assignMap(), ParamListStandardOut::assignMap(), Funcdata::createStackRef(), ProtoModel::defaultLocalRange(), ProtoModel::defaultParamRange(), Address::getAddrSize(), AddrSpaceManager::getDefaultSize(), Architecture::parseStackPointer(), printRaw(), read(), OverlaySpace::restoreXml(), and RulePtrFlow::truncatePointer().

◆ getContain()

AddrSpace * AddrSpace::getContain ( void ) const

inlinevirtual

Return this space's containing space (if any)

If this space is virtual, then this routine returns the containing address space, otherwise it returns NULL.

Returns: a pointer to the containing space or NULL

Reimplemented in SpacebaseSpace.

Referenced by contain(), RuleLoadVarnode::correctSpacebase(), Funcdata::createStackRef(), Funcdata::opStackLoad(), Funcdata::opStackStore(), and Address::toPhysical().

◆ getDeadcodeDelay()

int4 AddrSpace::getDeadcodeDelay ( void ) const

inline

Get number of passes before deadcode removal is allowed.

The point at which deadcode removal is performed on varnodes within a space can be set to skip some number of heritage passes, in case not all the varnodes are created within a single pass. This method gives the number of rounds that should be skipped before deadcode elimination begins

Returns: the number of rounds to skip deadcode removal

References deadcodedelay.

Referenced by Heritage::buildInfoList(), Heritage::bumpDeadcodeDelay(), Override::hasDeadcodeDelay(), and OverlaySpace::restoreXml().

◆ getDelay()

int4 AddrSpace::getDelay ( void ) const

inline

Get number of heritage passes being delayed.

If the heritage algorithms need to trace dataflow within this space, the algorithms can delay tracing this space in order to let indirect references into the space resolve themselves. This method indicates the number of rounds of dataflow analysis that should be skipped for this space to let this resolution happen

Returns: the number of rounds to skip heritage

References delay.

Referenced by Architecture::addSpacebase(), Heritage::buildInfoList(), Heritage::bumpDeadcodeDelay(), and OverlaySpace::restoreXml().

◆ getHighest()

uintb AddrSpace::getHighest ( void ) const

inline

Get the highest byte-scaled address.

Get the highest (byte) offset possible for this space

Returns: the offset

References highest.

Referenced by Heritage::collect(), ProtoModel::defaultLocalRange(), ProtoModel::defaultParamRange(), VarnodeBank::endLoc(), VarnodeBank::findCoveredInput(), ContextInternal::getContext(), Range::getLastAddrOpen(), RangeList::getLastSignedRange(), Architecture::globalify(), and LoadImageXml::pad().

◆ getIndex()

int4 AddrSpace::getIndex ( void ) const

inline

Get the integer identifier.

Each address space has an associated index that can be used as an integer encoding of the space.

Returns: the unique index

References index.

◆ getManager()

AddrSpaceManager * AddrSpace::getManager ( void ) const

inline

Get the space manager.

Every address space is associated with a manager of (all possible) spaces. This method recovers the address space manager object.

Returns: a pointer to the address space manager

References manage.

Referenced by ParamEntry::getAddrBySlot(), JoinSpace::printRaw(), JoinSpace::read(), ParamEntry::resolveJoin(), SpacebaseSpace::restoreXml(), OverlaySpace::restoreXml(), JoinSpace::restoreXmlAttributes(), and JoinSpace::saveXmlAttributes().

◆ getName()

const string & AddrSpace::getName ( void ) const

inline

Get the name.

Every address space has a (unique) name, which is referred to especially in configuration files via XML.

Returns: the name of this space

References name.

Referenced by ActionStackPtrFlow::analyzeExtraPop(), ScopeLocal::buildVariableName(), ScopeInternal::buildVariableName(), Funcdata::fillinReadOnly(), FlowInfo::findRelTarget(), Override::generateDeadcodeDelayMessage(), MemoryState::getChunk(), Heritage::getDeadCodeDelay(), SpacebaseSpace::getSpacebase(), SpacebaseSpace::getSpacebaseFull(), MemoryState::getValue(), AddrSpaceManager::insertSpace(), Range::printBounds(), Override::printRaw(), TypeOpLoad::printRaw(), TypeOpStore::printRaw(), TypeOpSegment::printRaw(), PrintC::pushUnnamedLocation(), DecompileAt::rawAction(), FlowInfo::reinterpreted(), Funcdata::removeUnreachableBlocks(), Override::saveXml(), ScopeLocal::saveXml(), SpacebaseSpace::saveXml(), Range::saveXml(), PcodeOp::saveXml(), OverlaySpace::saveXml(), saveXmlAttributes(), JoinSpace::saveXmlAttributes(), FspecSpace::saveXmlAttributes(), SpacebaseSpace::setBaseRegister(), MemoryState::setChunk(), MemoryState::setValue(), and FlowInfo::target().

◆ getShortcut()

char AddrSpace::getShortcut ( void ) const

inline

Get the shortcut character.

Return a unique short cut character that is associated with this space. The shortcut character can be used by the read method to quickly specify the space of an address.

Returns: the shortcut character

References shortcut.

Referenced by Address::getShortcut().

◆ getSpacebase()

const VarnodeData & AddrSpace::getSpacebase ( int4 i ) const

inlinevirtual

Get a base register that creates this virtual space.

For virtual spaces, like the stack space, this routine returns the location information for a base register of the space. This routine will throw an exception if the register does not exist

Parameters

i	is the index of the base register starting at

Returns: the VarnodeData that describes the register

Reimplemented in SpacebaseSpace.

References name.

Referenced by ActionPrototypeTypes::apply(), ActionExtraPopSetup::apply(), StackSolver::build(), ActionStackPtrFlow::checkClog(), Funcdata::findSpacebaseInput(), Architecture::getSpaceBySpacebase(), Funcdata::newSpacebasePtr(), and Funcdata::spacebase().

◆ getSpacebaseFull()

const VarnodeData & AddrSpace::getSpacebaseFull ( int4 i ) const

inlinevirtual

Return original spacebase register before truncation.

If a stack pointer is truncated to fit the stack space, we may need to know the extent of the original register

Parameters

i	is the index of the base register

Returns: the original register before truncation

Reimplemented in SpacebaseSpace.

References name.

Referenced by ActionPrototypeTypes::apply().

◆ getTrans()

const Translate * AddrSpace::getTrans ( void ) const

inline

Get the processor translator.

Every address space is associated with a processor which may have additional objects like registers etc. associated with it. This method returns a pointer to that processor translator

Returns: a pointer to the Translate object

References trans.

Referenced by Varnode::printRawNoMarkup(), JoinSpace::read(), VarnodeData::restoreXml(), Range::restoreXml(), and JoinSpace::restoreXmlAttributes().

◆ getType()

spacetype AddrSpace::getType ( void ) const

inline

Get the type of space.

Return the defining type for this address space.

IPTR_CONSTANT for the constant space
IPTR_PROCESSOR for a normal space
IPTR_INTERNAL for the temporary register space
IPTR_FSPEC for special FuncCallSpecs references
IPTR_IOP for special PcodeOp references
Returns
the basic type of this space

References type.

Referenced by ActionStackPtrFlow::analyzeExtraPop(), Funcdata::ancestorOpUse(), ActionParamDouble::apply(), ActionRestrictLocal::apply(), RulePullsubIndirect::applyOp(), RuleIndirectCollapse::applyOp(), StackSolver::build(), Heritage::bumpDeadcodeDelay(), EmulateSnippet::checkForLegalCode(), FuncCallSpecs::checkInputTrialUse(), FuncCallSpecs::commitNewInputs(), HighVariable::compareName(), AddrSpaceManager::constructJoinAddress(), Varnode::contains(), AncestorRealistic::enterNode(), EmulateSnippet::executeBranch(), FuncCallSpecs::FuncCallSpecs(), ActionFuncLink::funcLinkInput(), Funcdata::getCallSpecs(), TypeOpCall::getInputLocal(), TypeOpCall::getOutputLocal(), GhidraTranslate::getRegisterName(), MemoryState::getValue(), EmulateSnippet::getVarnodeValue(), Architecture::globalify(), Heritage::guardCalls(), FuncCallSpecs::hasEffectTranslate(), Architecture::highPtrPossible(), AddrSpaceManager::insertSpace(), Varnode::intersects(), Address::isConstant(), Address::isJoin(), ProtoModel::lookupEffect(), PrintC::opCall(), Funcdata::opInsertAfter(), Address::overlap(), Heritage::placeMultiequals(), ActionMultiCse::preferredOutput(), ActionDeadCode::propagateConsumed(), ParamActive::registerTrial(), ParamEntry::resolveJoin(), FuncCallSpecs::resolveSpacebaseRelative(), ParamListStandard::restoreXml(), SleighBase::saveXml(), PcodeOp::saveXml(), Address::toPhysical(), FuncCallSpecs::transferLockedInputParam(), Funcdata::truncatedFlow(), RulePtrFlow::truncatePointer(), and Varnode::Varnode().

◆ getWordSize()

uint4 AddrSpace::getWordSize ( void ) const

inline

Get the addressable unit size.

This method indicates the number of bytes contained in an addressable unit of this space. This is almost always 1, but can be any other small integer.

Returns: the number of bytes in a unit

References wordsize.

Referenced by LoadImageXml::adjustVma(), RawLoadImage::adjustVma(), ActionDeindirect::apply(), RuleLoadVarnode::applyOp(), RuleStoreVarnode::applyOp(), ParamListStandard::assignMap(), ParamListStandardOut::assignMap(), ExternRefSymbol::buildNameType(), ScopeLocal::buildVariableName(), ScopeInternal::buildVariableName(), Funcdata::createStackRef(), EmulateMemory::executeLoad(), EmulateMemory::executeStore(), TypeOpLoad::getInputCast(), TypeOpStore::getInputCast(), TypeOpCbranch::getInputLocal(), TypeOpCallind::getInputLocal(), ActionInferTypes::propagateTypeEdge(), PrintC::pushAnnotation(), PrintC::pushPtrCodeConstant(), SegmentedResolver::resolve(), AddrSpaceManager::resolveConstant(), OverlaySpace::restoreXml(), Funcdata::spacebase(), and Funcdata::spacebaseConstant().

◆ hasPhysical()

bool AddrSpace::hasPhysical ( void ) const

inline

Return true if data is physically stored in this.

This routine returns true, if, like most spaces, the space has actual read/writeable bytes associated with it. Some spaces, like the constant space, do not.

Returns: true if the space has physical data in it.

References flags, and hasphysical.

Referenced by OverlaySpace::restoreXml(), saveBasicAttributes(), and EmulateFunction::setExecuteAddress().

◆ isBigEndian()

bool AddrSpace::isBigEndian ( void ) const

inline

Return true if values in this space are big endian.

If integer values stored in this space are encoded in this space using the big endian format, then return true.

Returns: true if the space is big endian

References big_endian, and flags.

Referenced by ActionParamDouble::apply(), RulePullsubMulti::applyOp(), RulePullsubIndirect::applyOp(), RulePullsubMulti::buildSubpiece(), FuncCallSpecs::commitNewOutputs(), Funcdata::fillinReadOnly(), MemoryImage::find(), EmulatePcodeOp::getLoadImageValue(), EmulateSnippet::getLoadImageValue(), MemoryBank::getPage(), ContextDatabase::getTrackedValue(), MemoryBank::getValue(), Address::isBigEndian(), Address::isContiguous(), ParamEntry::isLeftJustified(), Address::justifiedContain(), PrintC::pushPartialSymbol(), ParamEntry::restoreXml(), OverlaySpace::restoreXml(), saveBasicAttributes(), SpacebaseSpace::setBaseRegister(), MemoryBank::setPage(), MemoryBank::setValue(), and Funcdata::splitVarnode().

◆ isHeritaged()

bool AddrSpace::isHeritaged ( void ) const

inline

Return true if dataflow has been traced.

During analysis, memory locations in most spaces need to have their data-flow traced. This method returns true for these spaces. For some of the special spaces, like the constant space, tracing data flow makes no sense, and this routine will return false.

Returns: true if this space's data-flow is analyzed

References flags, and heritaged.

Referenced by ConditionalExecution::buildHeritageArray(), and Heritage::heritage().

◆ isReverseJustified()

bool AddrSpace::isReverseJustified ( void ) const

inline

Return true if alignment justification does not match endianness.

Certain architectures or compilers specify an alignment for accessing words within the space The space required for a variable must be rounded up to the alignment. For variables smaller than the alignment, there is the issue of how the variable is "justified" within the aligned word. Usually the justification depends on the endianness of the space, for certain weird cases the justification may be the opposite of the endianness.

References flags, and reverse_justification.

Referenced by ParamEntry::restoreXml().

◆ isTruncated()

bool AddrSpace::isTruncated ( void ) const

inline

Return true if this space is truncated from its original size.

If this method returns true, the logical form of this space is truncated from its actual size Pointers may refer to this original size put the most significant bytes are ignored

References flags, and truncated.

Referenced by ActionConstantPtr::apply(), ActionPrototypeTypes::apply(), Architecture::parseStackPointer(), RulePtrFlow::RulePtrFlow(), and Funcdata::spacebaseConstant().

◆ numSpacebase()

int4 AddrSpace::numSpacebase ( void ) const

inlinevirtual

Number of base registers associated with this space.

Some spaces are "virtual", like the stack spaces, where addresses are really relative to a base pointer stored in a register, like the stackpointer. This routine will return non-zero if this space is virtual and there is 1 (or more) associated pointer registers

Returns: the number of base registers associated with this space

Reimplemented in SpacebaseSpace.

Referenced by ActionPrototypeTypes::apply(), and Funcdata::spacebase().

◆ printOffset()

void AddrSpace::printOffset	(	ostream &	s,
		uintb	offset
	)		const

Write an address offset to a stream.

Print the offset as hexidecimal digits.

Parameters

s	is the stream to write to
offset	is the offset to be printed

Referenced by saveXmlAttributes(), and FspecSpace::saveXmlAttributes().

◆ printRaw()

void AddrSpace::printRaw	(	ostream &	s,
		uintb	offset
	)		const

virtual

Write an address in this space to a stream.

This is a printing method for the debugging routines. It prints taking into account the wordsize, adding a "+n" if the offset is not on-cut with wordsize. It also returns the expected/typical size of values from this space.

Parameters

s	is the stream being written
offset	is the offset to be printed

Reimplemented in FspecSpace, JoinSpace, ConstantSpace, and IopSpace.

References byteToAddress(), getAddrSize(), and wordsize.

Referenced by Address::printRaw().

◆ read()

uintb AddrSpace::read	(	const string &	s,
		int4 &	size
	)		const

virtual

Read in an address (and possible size) from a string.

For the console mode, an address space can tailor how it converts user strings into offsets within the space. The base routine can read and convert register names as well as absolute hex addresses. A size can be indicated by appending a ':' and integer, .i.e. 0x1000:2. Offsets within a register can be indicated by appending a '+' and integer, i.e. eax+2

Parameters

s	is the string to be parsed
size	is a reference to the size being returned

Returns: the parsed offset

Reimplemented in JoinSpace.

References addressToByte(), getAddrSize(), Translate::getRegister(), VarnodeData::offset, trans, and wordsize.

Referenced by Address::read(), and JoinSpace::read().

◆ restoreXml()

void AddrSpace::restoreXml ( const Element * el )

virtual

Recover the details of this space from XML.

Walk a parsed XML tag and recover all the properties defining this space. The processor translator, trans, and the type must already be filled in.

Parameters

el	is the parsed XML tag

Reimplemented in FspecSpace, OverlaySpace, JoinSpace, SpacebaseSpace, ConstantSpace, and IopSpace.

References addressSize, assignShortcut(), big_endian, calcScaleMask(), deadcodedelay, delay, flags, hasphysical, index, name, and wordsize.

Referenced by SpacebaseSpace::restoreXml(), and AddrSpaceManager::restoreXmlSpace().

◆ restoreXmlAttributes()

uintb AddrSpace::restoreXmlAttributes	(	const Element *	el,
		uint4 &	size
	)		const

virtual

Recover an offset and size.

For an XML tag describing an address in this space, this routine recovers the offset and possibly the size described by the tag

Parameters

el	is the XML address tag
size	is a reference where the recovered size should be stored

Returns: the recovered offset

Reimplemented in JoinSpace.

Referenced by LoadImageXml::open(), and VarnodeData::restoreXml().

◆ saveBasicAttributes()

void AddrSpace::saveBasicAttributes ( ostream & s ) const

protected

Write the XML attributes of this space.

Save the name, index, bigendian, delay, size, wordsize, and physical attributes which are common with all address spaces derived from AddrSpace

Parameters

s	the stream where the attributes are written

References addressSize, deadcodedelay, delay, hasPhysical(), index, isBigEndian(), name, and wordsize.

Referenced by saveXml(), SpacebaseSpace::saveXml(), and UniqueSpace::saveXml().

◆ saveXml()

void AddrSpace::saveXml ( ostream & s ) const

virtual

Write the details of this space as XML.

Write a tag fully describing the details of this space suitable for later recovery via restoreXml.

Parameters

s	is the stream being written

Reimplemented in FspecSpace, OverlaySpace, JoinSpace, UniqueSpace, SpacebaseSpace, ConstantSpace, and IopSpace.

References saveBasicAttributes().

Referenced by SleighBase::saveXml().

◆ saveXmlAttributes() [1/2]

void AddrSpace::saveXmlAttributes	(	ostream &	s,
		uintb	offset
	)		const

virtual

Save an address as XML.

Write the main XML attributes for an address within this space The caller provides only the offset, and this routine fills in other details pertaining to this particular space.

Parameters

s	is the stream to write to
offset	is the offset of the address

Reimplemented in FspecSpace, JoinSpace, and IopSpace.

References getName(), and printOffset().

Referenced by ContextInternal::saveContext(), ContextDatabase::saveTracked(), InjectContextGhidra::saveXml(), Comment::saveXml(), TrackedContext::saveXml(), Address::saveXml(), SeqNum::saveXml(), Varnode::saveXml(), Database::saveXml(), and FuncProto::saveXml().

◆ saveXmlAttributes() [2/2]

void AddrSpace::saveXmlAttributes	(	ostream &	s,
		uintb	offset,
		int4	size
	)		const

virtual

Save an address and size as XML.

Write the main XML attributes of an address with this space and a size. The caller provides the offset and size, and other details about this particular space are filled in.

Parameters

s	is the stream to write to
offset	is the offset of the address
size	is the size of the memory location

Reimplemented in FspecSpace, JoinSpace, and IopSpace.

References getName(), and printOffset().

◆ setFlags()

void AddrSpace::setFlags ( uint4 fl )

inlineprotected

Set a cached attribute.

An internal method for derived classes to set space attributes

Parameters

fl	is the set of attributes to be set

References flags.

Referenced by ConstantSpace::ConstantSpace(), FspecSpace::FspecSpace(), AddrSpaceManager::insertSpace(), IopSpace::IopSpace(), OverlaySpace::OverlaySpace(), OverlaySpace::restoreXml(), AddrSpaceManager::setReverseJustified(), SpacebaseSpace::SpacebaseSpace(), truncateSpace(), and UniqueSpace::UniqueSpace().

◆ stackGrowsNegative()

bool AddrSpace::stackGrowsNegative ( void ) const

inlinevirtual

Return true if a stack in this space grows negative.

For stack (or other spacebase) spaces, this routine returns true if the space can viewed as a stack and a push operation causes the spacebase pointer to be decreased (grow negative)

Returns: true if stacks grow in negative direction.

Reimplemented in SpacebaseSpace.

Referenced by ProtoModel::restoreXml().

◆ truncateSpace()

void AddrSpace::truncateSpace ( uint4 newsize )

protected

The logical form of the space is truncated from its actual size Pointers may refer to this original size put the most significant bytes are ignored

Parameters

newsize is the size (in bytes) of the truncated (logical) space

References addressSize, calcScaleMask(), setFlags(), and truncated.

Referenced by AddrSpaceManager::truncateSpace().

◆ wrapOffset()

uintb AddrSpace::wrapOffset ( uintb off ) const

inline

Wrap -off- to the offset that fits into this space.

Calculate off modulo the size of this address space in order to construct the offset "equivalent" to off that fits properly into this space

Parameters

off	is the offset requested

Returns: the wrapped offset

References highest.

Referenced by ActionRestrictLocal::apply(), FuncCallSpecs::buildInputFromTrials(), Heritage::guardCalls(), FuncCallSpecs::hasEffectTranslate(), Address::isContiguous(), Address::operator+(), Address::operator-(), Address::overlap(), AddrSpaceManager::resolveConstant(), FuncCallSpecs::resolveSpacebaseRelative(), Range::restoreXml(), and Heritage::splitByRefinement().

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

space.hh
space.cc

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Private Attributes

Friends

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

Constructor & Destructor Documentation

◆ AddrSpace() [1/2]

◆ AddrSpace() [2/2]

Member Function Documentation

◆ addressToByte()

◆ addressToByteInt()

◆ assignShortcut()

◆ byteToAddress()

◆ byteToAddressInt()

◆ calcScaleMask()

◆ clearFlags()

◆ contain()

◆ data2Uintm()

◆ doesDeadcode()

◆ getAddrSize()

◆ getContain()

◆ getDeadcodeDelay()

◆ getDelay()

◆ getHighest()

◆ getIndex()

◆ getManager()

◆ getName()

◆ getShortcut()

◆ getSpacebase()

◆ getSpacebaseFull()

◆ getTrans()

◆ getType()

◆ getWordSize()

◆ hasPhysical()

◆ isBigEndian()

◆ isHeritaged()

◆ isReverseJustified()

◆ isTruncated()

◆ numSpacebase()

◆ printOffset()

◆ printRaw()

◆ read()

◆ restoreXml()

◆ restoreXmlAttributes()

◆ saveBasicAttributes()

◆ saveXml()

◆ saveXmlAttributes() [1/2]

◆ saveXmlAttributes() [2/2]

◆ setFlags()

◆ stackGrowsNegative()

◆ truncateSpace()

◆ wrapOffset()