A virtual space stack space. More...

#include <translate.hh>

Inheritance diagram for SpacebaseSpace:

Public Member Functions
	SpacebaseSpace (AddrSpaceManager m, const Translate t, const string &nm, int4 ind, int4 sz, AddrSpace *base, int4 dl)

	SpacebaseSpace (AddrSpaceManager m, const Translate t)
	For use with restoreXml. 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 containing space.

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...

Public Member Functions inherited from AddrSpace
	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 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...

Private Member Functions
void	setBaseRegister (const VarnodeData &data, int4 origSize, bool stackGrowth)
	Set the base register at time space is created. More...

Private Attributes
AddrSpace *	contain
	Containing space.

bool	hasbaseregister
	true if a base register has been attached

bool	isNegativeStack
	true if stack grows in negative direction

VarnodeData	baseloc
	location data of the base register

VarnodeData	baseOrig
	Original base register before any truncation.

Friends
class	AddrSpaceManager

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

Static Public Member Functions inherited from AddrSpace
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 inherited from AddrSpace
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 inherited from AddrSpace
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.

Detailed Description

A virtual space stack space.

In a lot of analysis situations it is convenient to extend the notion of an address space to mean bytes that are indexed relative to some base register. The canonical example of this is the stack space, which models the concept of local variables stored on the stack. An address of (stack, 8) might model the address of a function parameter on the stack for instance, and (stack, 0xfffffff4) might be the address of a local variable. A space like this is inherently virtual and contained within whatever space is being indexed into.

Constructor & Destructor Documentation

◆ SpacebaseSpace() [1/2]

SpacebaseSpace::SpacebaseSpace	(	AddrSpaceManager *	m,
		const Translate *	t,
		const string &	nm,
		int4	ind,
		int4	sz,
		AddrSpace *	base,
		int4	dl
	)

Construct a virtual space. This is usually used for the stack space, but multiple such spaces are allowed.

Parameters

m	is the manager for this program specific address space
t	is associated processor translator
nm	is the name of the space
ind	is the integer identifier
sz	is the size of the space
base	is the containing space
dl	is the heritage delay

References contain, hasbaseregister, and isNegativeStack.

◆ SpacebaseSpace() [2/2]

SpacebaseSpace::SpacebaseSpace	(	AddrSpaceManager *	m,
		const Translate *	t
	)

For use with restoreXml.

This is a partial constructor, which must be followed up with restoreXml in order to fillin the rest of the spaces attributes

Parameters

m	is the associated address space manager
t	is the associated processor translator

References hasbaseregister, isNegativeStack, AddrSpace::programspecific, and AddrSpace::setFlags().

Member Function Documentation

◆ getSpacebase()

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

virtual

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 from AddrSpace.

References baseloc, AddrSpace::getName(), and hasbaseregister.

◆ getSpacebaseFull()

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

virtual

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 from AddrSpace.

References baseOrig, AddrSpace::getName(), and hasbaseregister.

◆ numSpacebase()

int4 SpacebaseSpace::numSpacebase ( void ) const

virtual

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 from AddrSpace.

References hasbaseregister.

◆ restoreXml()

void SpacebaseSpace::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 from AddrSpace.

References contain, AddrSpace::getManager(), AddrSpaceManager::getSpaceByName(), and AddrSpace::restoreXml().

◆ saveXml()

void SpacebaseSpace::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 from AddrSpace.

References contain, AddrSpace::getName(), and AddrSpace::saveBasicAttributes().

◆ setBaseRegister()

void SpacebaseSpace::setBaseRegister	(	const VarnodeData &	data,
		int4	truncSize,
		bool	stackGrowth
	)

private

Set the base register at time space is created.

This routine sets the base register associated with this virtual space It will throw an exception if something tries to set two (different) base registers

Parameters

data	is the location data for the base register
truncSize	is the size of the space covered by the register
stackGrowth	is true if the stack which this register manages grows in a negative direction

References baseloc, baseOrig, AddrSpace::getName(), hasbaseregister, AddrSpace::isBigEndian(), isNegativeStack, VarnodeData::offset, VarnodeData::size, and VarnodeData::space.

Referenced by AddrSpaceManager::addSpacebasePointer().

◆ stackGrowsNegative()

virtual bool SpacebaseSpace::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 from AddrSpace.

References isNegativeStack.

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

translate.hh
translate.cc

Public Member Functions

Private Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ SpacebaseSpace() [1/2]

◆ SpacebaseSpace() [2/2]

Member Function Documentation

◆ getSpacebase()

◆ getSpacebaseFull()

◆ numSpacebase()

◆ restoreXml()

◆ saveXml()

◆ setBaseRegister()

◆ stackGrowsNegative()