A contiguous range of memory that can be used to pass parameters. More...

#include <fspec.hh>

Public Types
enum	{ force_left_justify = 1 , reverse_stack = 2 , smallsize_zext = 4 , smallsize_sext = 8 , smallsize_inttype = 32 , smallsize_floatext = 64 , extracheck_high = 128 , extracheck_low = 256 , is_grouped = 512 }

Public Member Functions
	ParamEntry (int4 grp)
	Constructor for use with restoreXml.

int4	getGroup (void) const
	Get the group id this belongs to.

int4	getGroupSize (void) const
	Get the number of groups occupied by this.

int4	getSize (void) const
	Get the size of the memory range in bytes.

int4	getMinSize (void) const
	Get the minimum size of a logical value contained in this.

int4	getAlign (void) const
	Get the alignment of this entry.

type_metatype	getType (void) const
	Get the data-type class associated with this.

bool	isExclusion (void) const
	Return true if this holds a single parameter exclusively.

bool	isReverseStack (void) const
	Return true if parameters are allocated in reverse order.

bool	isGrouped (void) const
	Return true if this is grouped with other entries.

bool	isNonOverlappingJoin (void) const
	Return true if not all pieces overlap other ParamEntry tags. More...

bool	contains (const ParamEntry &op2) const
	Does this contain the indicated entry. More...

bool	containedBy (const Address &addr, int4 sz) const
	Is this entry contained by the given range. More...

int4	justifiedContain (const Address &addr, int4 sz) const
	Calculate endian aware containment. More...

bool	getContainer (const Address &addr, int4 sz, VarnodeData &res) const
	Calculate the containing memory range. More...

OpCode	assumedExtension (const Address &addr, int4 sz, VarnodeData &res) const
	Calculate the type of extension to expect for the given logical value. More...

int4	getSlot (const Address &addr, int4 skip) const
	Calculate the slot occupied by a specific address. More...

AddrSpace *	getSpace (void) const
	Get the address space containing this entry.

uintb	getBase (void) const
	Get the starting offset of this entry.

Address	getAddrBySlot (int4 &slot, int4 sz) const
	Calculate the storage address assigned when allocating a parameter of a given size. More...

void	restoreXml (const Element el, const AddrSpaceManager manage, bool normalstack, bool grouped, list< ParamEntry > &curList)
	Restore the entry from an XML stream. More...

void	extraChecks (list< ParamEntry > &entry)
	Check if this entry represents a joined parameter and requires extra scrutiny. More...

bool	isParamCheckHigh (void) const
	Return true if there is a high overlap.

bool	isParamCheckLow (void) const
	Return true if there is a low overlap.

int4	countJoinOverlap (const list< ParamEntry > &curList) const
	Count the number of other entries this overlaps. More...

Static Public Member Functions
static void	orderWithinGroup (const ParamEntry &entry1, const ParamEntry &entry2)
	Enforce ParamEntry group ordering rules. More...

Private Member Functions
void	resolveJoin (list< ParamEntry > &curList)
	Make adjustments for a join ParamEntry. More...

bool	isLeftJustified (void) const
	Is the logical value left-justified within its container.

Static Private Member Functions
static const ParamEntry *	findEntryByStorage (const list< ParamEntry > &entryList, const VarnodeData &vn)
	Find a ParamEntry matching the given storage Varnode. More...

Private Attributes
uint4	flags
	Boolean properties of the parameter.

type_metatype	type
	Data-type class that this entry must match.

int4	group
	Group of (mutually exclusive) entries that this entry belongs to.

int4	groupsize
	The number of consecutive groups taken by the entry.

AddrSpace *	spaceid
	Address space containing the range.

uintb	addressbase
	Starting offset of the range.

int4	size
	Size of the range in bytes.

int4	minsize
	Minimum bytes allowed for the logical value.

int4	alignment
	How much alignment (0 means only 1 logical value is allowed)

int4	numslots
	(Maximum) number of slots that can store separate parameters

JoinRecord *	joinrec
	Non-null if this is logical variable from joined pieces.

Detailed Description

A contiguous range of memory that can be used to pass parameters.

This range can be used to pass a single parameter (isExclusion() == true). This is intended to model a parameter passed in a register. The logical value does not have to fill the entire range. The size in bytes can range from a minimum, getMinSize(), to the whole range, getSize(). Justification and extension of the logical value within the range can be specified.

Alternately the range can be used as a resource for multiple parameters (isExclusion() == false). In this case, the parameters are allocated sequentially (usually) starting from the front of the range. The amount of space consumed by each parameter is dictated by an alignment setting in bytes.

A ParamEntry can be associated with a particular class of data-types. Usually:

TYPE_UNKNOWN for general purpose parameters
TYPE_FLOAT for dedicated floating-point registers

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

Enumerator
force_left_justify	Big endian values are left justified within their slot.
reverse_stack	Slots (for non-exlusion entries) are allocated in reverse order.
smallsize_zext	Assume values that are below the max size are zero extended into this container.
smallsize_sext	Assume values that are below the max size are sign extended into this container.
smallsize_inttype	Assume values that are below the max size are sign OR zero extended based on integer type.
smallsize_floatext	Assume values smaller than max size are floating-point extended to full size.
extracheck_high	Perform extra checks during parameter recovery on most sig portion of the double.
extracheck_low	Perform extra checks during parameter recovery on least sig portion of the double.
is_grouped	This entry is grouped with other entries.

Member Function Documentation

◆ assumedExtension()

OpCode ParamEntry::assumedExtension	(	const Address &	addr,
		int4	sz,
		VarnodeData &	res
	)		const

Calculate the type of extension to expect for the given logical value.

Return:

CPUI_COPY if no extensions are assumed for small values in this container
CPUI_INT_SEXT indicates a sign extension
CPUI_INT_ZEXT indicates a zero extension
CPUI_PIECE indicates an integer extension based on type of parameter

(A CPUI_FLOAT2FLOAT=float extension is handled by heritage and JoinRecord) If returning an extension operator, pass back the container being extended.

Parameters

addr	is the starting address of the logical value
sz	is the size of the logical value in bytes
res	will hold the passed back containing range

Returns: the type of extension

References addressbase, alignment, CPUI_COPY, CPUI_INT_SEXT, CPUI_INT_ZEXT, CPUI_PIECE, flags, Address::getOffset(), joinrec, justifiedContain(), VarnodeData::offset, size, VarnodeData::size, smallsize_inttype, smallsize_sext, smallsize_zext, VarnodeData::space, and spaceid.

◆ containedBy()

bool ParamEntry::containedBy	(	const Address &	addr,
		int4	sz
	)		const

Is this entry contained by the given range.

Parameters

addr	is the starting address of the potential containing range
sz	is the number of bytes in the range

Returns: true if the entire ParamEntry fits inside the range

References addressbase, Address::getOffset(), Address::getSpace(), size, and spaceid.

Referenced by ParamListStandard::characterizeAsParam(), and ParamListStandard::getBiggestContainedParam().

◆ contains()

bool ParamEntry::contains ( const ParamEntry & op2 ) const

Does this contain the indicated entry.

This entry must properly contain the other memory range, and the entry properties must be compatible.

Parameters

op2	is the other entry to compare with this

Returns: true if the other entry is contained

References addressbase, alignment, size, spaceid, type, and TYPE_UNKNOWN.

Referenced by ParamListMerged::foldIn().

◆ countJoinOverlap()

int4 ParamEntry::countJoinOverlap ( const list< ParamEntry > & curList ) const

Count the number of other entries this overlaps.

If the storage is in the join space, we count the number of join pieces that overlap something in the given list of entries.

Parameters

curList is the list of entries to check

Returns: the number of overlapping pieces

References findEntryByStorage(), JoinRecord::getPiece(), joinrec, and JoinRecord::numPieces().

Referenced by ParamListStandard::restoreXml().

◆ extraChecks()

void ParamEntry::extraChecks ( list< ParamEntry > & entry )

Check if this entry represents a joined parameter and requires extra scrutiny.

Return value parameter lists allow overlapping entries if one of the overlapping entries is a joined parameter. In this case the return value recovery logic needs to know what portion(s) of the joined parameter are overlapped. This method sets flags on this to indicate the overlap.

Parameters

entry is the full parameter list to check for overlaps with this

References extracheck_high, extracheck_low, flags, JoinRecord::getPiece(), joinrec, JoinRecord::numPieces(), VarnodeData::offset, VarnodeData::size, and VarnodeData::space.

Referenced by ParamListRegisterOut::restoreXml().

◆ findEntryByStorage()

const ParamEntry * ParamEntry::findEntryByStorage	(	const list< ParamEntry > &	entryList,
		const VarnodeData &	vn
	)

staticprivate

Find a ParamEntry matching the given storage Varnode.

Search through the list backward.

Parameters

entryList	is the list of ParamEntry to search through
vn	is the storage to search for

Returns: the matching ParamEntry or null

References addressbase, VarnodeData::offset, size, VarnodeData::size, VarnodeData::space, and spaceid.

Referenced by countJoinOverlap(), and resolveJoin().

◆ getAddrBySlot()

Address ParamEntry::getAddrBySlot	(	int4 &	slotnum,
		int4	sz
	)		const

Calculate the storage address assigned when allocating a parameter of a given size.

Assume slotnum slots have already been assigned and increment slotnum by the number of slots used. Return an invalid address if the size is too small or if there are not enough slots left.

Parameters

slotnum	is a reference to used slots (which will be updated)
sz	is the size of the parameter to allocated

Returns: the address of the new parameter (or an invalid address)

References addressbase, alignment, AddrSpaceManager::constructFloatExtensionAddress(), flags, AddrSpace::getManager(), isLeftJustified(), isReverseStack(), minsize, numslots, size, smallsize_floatext, and spaceid.

Referenced by ParamListStandard::assignAddress(), and ParamListStandard::buildTrialMap().

◆ getContainer()

bool ParamEntry::getContainer	(	const Address &	addr,
		int4	sz,
		VarnodeData &	res
	)		const

Calculate the containing memory range.

Pass back the VarnodeData (space,offset,size) of the parameter that would contain the given memory range. If this contains the range and is exclusive, just pass back this memory range. Otherwise the passed back range will depend on alignment.

Parameters

addr	is the starting address of the given range
sz	is the size of the given range in bytes
res	is the reference to VarnodeData that will be passed back

Returns: true if the given range is contained at all

References addressbase, alignment, VarnodeData::getAddr(), Address::getOffset(), JoinRecord::getPiece(), joinrec, JoinRecord::numPieces(), VarnodeData::offset, Address::overlap(), size, VarnodeData::size, VarnodeData::space, and spaceid.

◆ getSlot()

int4 ParamEntry::getSlot	(	const Address &	addr,
		int4	skip
	)		const

Calculate the slot occupied by a specific address.

For non-exclusive entries, the memory range can be divided up into slots, which are chunks that take up a full alignment. I.e. for an entry with alignment 4, slot 0 is bytes 0-3 of the range, slot 1 is bytes 4-7, etc. Assuming the given address is contained in this entry, and we skip ahead a number of bytes, return the slot associated with that byte. NOTE: its important that the given address has already been checked for containment.

Parameters

addr	is the given address
skip	is the number of bytes to skip ahead

Returns: the slot index

References addressbase, alignment, Address::getOffset(), group, groupsize, isReverseStack(), and numslots.

Referenced by ParamListStandard::buildTrialMap(), ParamListStandard::possibleParamWithSlot(), and ParamTrial::slotGroup().

◆ isNonOverlappingJoin()

bool ParamEntry::isNonOverlappingJoin ( void ) const

Return true if not all pieces overlap other ParamEntry tags.

A ParamEntry with join storage must either overlap a single other ParamEntry or all pieces must overlap.

Returns: true if this is a join whose pieces do not all overlap

References groupsize, joinrec, and JoinRecord::numPieces().

Referenced by ParamListStandard::restoreXml().

◆ justifiedContain()

int4 ParamEntry::justifiedContain	(	const Address &	addr,
		int4	sz
	)		const

Calculate endian aware containment.

Check if the given memory range is contained in this. If it is contained, return the endian aware offset of the containment. I.e. if the least significant byte of the given range falls on the least significant byte of the this, return 0. If it intersects the second least significant, return 1, etc.

Parameters

addr	is the starting address of the given memory range
sz	is the size of the given memory range in bytes

Returns: the endian aware alignment or -1 if the given range isn't contained

References addressbase, alignment, flags, force_left_justify, VarnodeData::getAddr(), Address::getOffset(), JoinRecord::getPiece(), Address::getSpace(), isLeftJustified(), joinrec, Address::justifiedContain(), JoinRecord::numPieces(), size, VarnodeData::size, and spaceid.

Referenced by assumedExtension(), ParamListStandard::characterizeAsParam(), ParamListRegisterOut::fillinMap(), and ParamListStandard::findEntry().

◆ orderWithinGroup()

void ParamEntry::orderWithinGroup	(	const ParamEntry &	entry1,
		const ParamEntry &	entry2
	)

static

Enforce ParamEntry group ordering rules.

Entries within a group must be distinguishable by size or by type. Throw an exception if the entries aren't distinguishable

Parameters

entry1	is the first ParamEntry to compare
entry2	is the second ParamEntry to compare

References minsize, size, type, and TYPE_UNKNOWN.

Referenced by ParamListStandard::parseGroup(), and ParamListStandardOut::restoreXml().

◆ resolveJoin()

void ParamEntry::resolveJoin ( list< ParamEntry > & curList )

private

Make adjustments for a join ParamEntry.

If the ParamEntry is initialized with a join address, cache the join record and adjust the group and groupsize based on the ParamEntrys being overlapped

Parameters

curList is the current list of ParamEntry

References addressbase, findEntryByStorage(), AddrSpaceManager::findJoin(), AddrSpace::getManager(), JoinRecord::getPiece(), AddrSpace::getType(), group, groupsize, IPTR_JOIN, joinrec, JoinRecord::numPieces(), and spaceid.

Referenced by restoreXml().

◆ restoreXml()

void ParamEntry::restoreXml	(	const Element *	el,
		const AddrSpaceManager *	manage,
		bool	normalstack,
		bool	grouped,
		list< ParamEntry > &	curList
	)

Restore the entry from an XML stream.

Parameters

el	is the root <pentry> element
manage	is a manager to resolve address space references
normalstack	is true if the parameters should be allocated from the front of the range
grouped	is true if this will be grouped with other entries
curList	is the list of ParamEntry defined up to this point

References addressbase, alignment, flags, force_left_justify, Element::getAttributeName(), Element::getAttributeValue(), Element::getChildren(), Element::getNumAttributes(), Address::getOffset(), Address::getSpace(), groupsize, is_grouped, AddrSpace::isBigEndian(), AddrSpace::isReverseJustified(), minsize, numslots, resolveJoin(), Address::restoreXml(), reverse_stack, size, smallsize_floatext, smallsize_inttype, smallsize_sext, smallsize_zext, spaceid, string2metatype(), type, and TYPE_UNKNOWN.

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

fspec.hh
fspec.cc

Public Types

Public Member Functions

Static Public Member Functions

Private Member Functions

Static Private Member Functions

Private Attributes

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

Member Function Documentation

◆ assumedExtension()

◆ containedBy()

◆ contains()

◆ countJoinOverlap()

◆ extraChecks()

◆ findEntryByStorage()

◆ getAddrBySlot()

◆ getContainer()

◆ getSlot()

◆ isNonOverlappingJoin()

◆ justifiedContain()

◆ orderWithinGroup()

◆ resolveJoin()

◆ restoreXml()