A function prototype. More...

#include <fspec.hh>

Inheritance diagram for FuncProto:

Public Member Functions
	FuncProto (void)
	Constructor.

	~FuncProto (void)
	Destructor.

Architecture *	getArch (void) const
	Get the Architecture owning this.

void	copy (const FuncProto &op2)
	Copy another function prototype. More...

void	copyFlowEffects (const FuncProto &op2)
	Copy properties that affect data-flow.

void	getPieces (PrototypePieces &pieces) const
	Get the raw pieces of the prototype. More...

void	setPieces (const PrototypePieces &pieces)
	Set this prototype based on raw pieces. More...

void	setScope (Scope *s, const Address &startpoint)
	Set a backing symbol Scope for this. More...

void	setInternal (ProtoModel m, Datatype vt)
	Set internal backing storage for this. More...

void	setModel (ProtoModel *m)
	Set the prototype model for this. More...

bool	hasModel (void) const
	Does this prototype have a model.

bool	hasMatchingModel (const FuncProto *op2) const
	Does this have a matching model.

bool	hasMatchingModel (const ProtoModel *op2) const
	Does this use the given model.

const string &	getModelName (void) const
	Get the prototype model name.

int4	getModelExtraPop (void) const
	Get the extrapop of the prototype model.

bool	isInputLocked (void) const
	Are input data-types locked.

bool	isOutputLocked (void) const
	Is the output data-type locked.

bool	isModelLocked (void) const
	Is the prototype model for this locked.

bool	isUnknownModel (void) const
	Is prototype model officially "unknown".

bool	hasCustomStorage (void) const
	Is this a "custom" function prototype.

void	setInputLock (bool val)
	Toggle the data-type lock on input parameters. More...

void	setOutputLock (bool val)
	Toggle the data-type lock on the return value. More...

void	setModelLock (bool val)
	Toggle the lock on the prototype model for this. More...

bool	isInline (void) const
	Does this function get in-lined during decompilation.

void	setInline (bool val)
	Toggle the in-line setting for functions with this prototype. More...

int4	getInjectId (void) const
	Get the injection id associated with this. More...

bool	isNoReturn (void) const
	Does a function with this prototype never return.

void	setNoReturn (bool val)
	Toggle the no-return setting for functions with this prototype. More...

bool	hasThisPointer (void) const
	Is this a prototype for a class method, taking a this pointer.

void	setThisPointer (bool val)
	Toggle the this-call setting for this prototype. More...

bool	isConstructor (void) const
	Is this prototype for a class constructor method.

void	setConstructor (bool val)
	Toggle whether this prototype is a constructor method. More...

bool	isDestructor (void) const
	Is this prototype for a class destructor method.

void	setDestructor (bool val)
	Toggle whether this prototype is a destructor method. More...

bool	hasInputErrors (void) const
	Has this prototype been marked as having an incorrect input parameter descriptions.

bool	hasOutputErrors (void) const
	Has this prototype been marked as having an incorrect return value description.

void	setInputErrors (bool val)
	Toggle the input error setting for this prototype. More...

void	setOutputErrors (bool val)
	Toggle the output error setting for this prototype. More...

int4	getExtraPop (void) const
	Get the general extrapop setting for this prototype.

void	setExtraPop (int4 ep)
	Set the general extrapop for this prototype.

int4	getInjectUponEntry (void) const
	Get any upon-entry injection id (or -1)

int4	getInjectUponReturn (void) const
	Get any upon-return injection id (or -1)

void	resolveExtraPop (void)
	Assuming this prototype is locked, calculate the extrapop. More...

void	clearUnlockedInput (void)
	Clear input parameters that have not been locked.

void	clearUnlockedOutput (void)
	Clear the return value if it has not been locked.

void	clearInput (void)
	Clear all input parameters regardless of lock.

void	cancelInjectId (void)
	Turn-off any in-lining for this function.

void	resolveModel (ParamActive *active)
	If this has a merged model, pick the most likely model (from the merged set) More...

void	deriveInputMap (ParamActive *active) const
	Given a list of input trials, derive the most likely inputs for this prototype. More...

void	deriveOutputMap (ParamActive *active) const
	Given a list of output trials, derive the most likely return value for this prototype. More...

bool	checkInputJoin (const Address &hiaddr, int4 hisz, const Address &loaddr, int4 losz) const
	Check if the given two input storage locations can represent a single logical parameter. More...

bool	checkInputSplit (const Address &loc, int4 size, int4 splitpoint) const
	Check if it makes sense to split a single storage location into two input parameters. More...

void	updateInputTypes (const vector< Varnode * > &triallist, ParamActive *activeinput)
	Update input parameters based on Varnode trials. More...

void	updateInputNoTypes (const vector< Varnode * > &triallist, ParamActive activeinput, TypeFactory factory)
	Update input parameters based on Varnode trials, but do not store the data-type. More...

void	updateOutputTypes (const vector< Varnode * > &triallist)
	Update the return value based on Varnode trials. More...

void	updateOutputNoTypes (const vector< Varnode * > &triallist, TypeFactory *factory)
	Update the return value based on Varnode trials, but don't store the data-type. More...

void	updateAllTypes (const vector< string > &namelist, const vector< Datatype * > &typelist, bool dtdtdt)
	Set this entire function prototype based on a list of names and data-types. More...

ProtoParameter *	getParam (int4 i) const
	Get the i-th input parameter.

void	removeParam (int4 i)
	Remove the i-th input parameter.

int4	numParams (void) const
	Get the number of input parameters.

ProtoParameter *	getOutput (void) const
	Get the return value.

Datatype *	getOutputType (void) const
	Get the return value data-type.

const RangeList &	getLocalRange (void) const
	Get the range of potential local stack variables.

const RangeList &	getParamRange (void) const
	Get the range of potential stack parameters.

bool	isStackGrowsNegative (void) const
	Return true if the stack grows toward smaller addresses.

bool	isDotdotdot (void) const
	Return true if this takes a variable number of arguments.

void	setDotdotdot (bool val)
	Toggle whether this takes variable arguments.

uint4	hasEffect (const Address &addr, int4 size) const
	Calculate the effect this has an a given storage location. More...

vector< EffectRecord >::const_iterator	effectBegin (void) const
	Get iterator to front of EffectRecord list.

vector< EffectRecord >::const_iterator	effectEnd (void) const
	Get iterator to end of EffectRecord list.

int4	numLikelyTrash (void) const
	Get the number of likely-trash locations. More...

const VarnodeData &	getLikelyTrash (int4 i) const
	Get the i-th likely-trash location. More...

bool	possibleInputParam (const Address &addr, int4 size) const
	Decide whether a given storage location could be an input parameter. More...

bool	possibleOutputParam (const Address &addr, int4 size) const
	Decide whether a given storage location could be a return value. More...

int4	getMaxInputDelay (void) const
	Return the maximum heritage delay across all possible input parameters. More...

int4	getMaxOutputDelay (void) const
	Return the maximum heritage delay across all possible return values. More...

bool	unjustifiedInputParam (const Address &addr, int4 size, VarnodeData &res) const
	Check if the given storage location looks like an unjustified input parameter. More...

OpCode	assumedInputExtension (const Address &addr, int4 size, VarnodeData &res) const
	Get the type of extension and containing input parameter for the given storage. More...

OpCode	assumedOutputExtension (const Address &addr, int4 size, VarnodeData &res) const
	Get the type of extension and containing return value location for the given storage. More...

bool	isCompatible (const FuncProto &op2) const
	Decide if this can be safely restricted to match another prototype. More...

AddrSpace *	getSpacebase (void) const
	Get the stack address space.

void	printRaw (const string &funcname, ostream &s) const
	Print this prototype as a single line of text. More...

uint4	getComparableFlags (void) const
	Get the comparable properties of this prototype. More...

void	saveXml (ostream &s) const
	Save this to an XML stream as a <prototype> tag. More...

void	restoreXml (const Element el, Architecture glb)
	Restore this from an XML stream. More...

Protected Member Functions
void	paramShift (int4 paramshift)
	Add parameters to the front of the input parameter list. More...

bool	isParamshiftApplied (void) const

void	setParamshiftApplied (bool val)
	Toggle whether a parameter shift has been applied.

Private Types
enum	{ dotdotdot = 1, voidinputlock = 2, modellock = 4, is_inline = 8, no_return = 16, paramshift_applied = 32, error_inputparam = 64, error_outputparam = 128, custom_storage = 256, unknown_model = 512, is_constructor = 0x400, is_destructor = 0x800, has_thisptr = 0x1000 }

Private Attributes
ProtoModel *	model
	Model of for this prototype.

ProtoStore *	store
	Storage interface for parameters.

int4	extrapop
	Extra bytes popped from stack.

uint4	flags
	Boolean properties of the function prototype.

vector< EffectRecord >	effectlist
	Side-effects associated with non-parameter storage locations.

vector< VarnodeData >	likelytrash
	Locations that may contain trash values.

int4	injectid
	(If non-negative) id of p-code snippet that should replace this function

Detailed Description

A function prototype.

A description of the parameters and return value for a specific function. Parameter descriptions include both source code features like name and data-type but also give the storage location. Storage follows a specific parameter passing convention (ProtoModel), although individual parameters may be customized. The prototype describes numerous properties related to calling the specific function:

Side-effects on non-parameter storage locations (like save registers)
P-code injection associated with the function (uponentry, uponreturn, callfixup)
Additional bytes (extrapop) popped from the stack by the function
Method flags (thiscall, is_constructor, is_destructor)

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

private

Enumerator
dotdotdot	Set if this prototype takes variable arguments (varargs)
voidinputlock	Set if this prototype takes no inputs and is locked.
modellock	Set if the PrototypeModel is locked for this prototype.
is_inline	Should this be inlined (within calling function) by decompiler.
no_return	Function does not return.
paramshift_applied	paramshift parameters have been added and removed
error_inputparam	Set if the input parameters are not properly represented.
error_outputparam	Set if the return value(s) are not properly represented.
custom_storage	Parameter storage is custom (not derived from ProtoModel)
unknown_model	Set if the PrototypeModel isn't known.
is_constructor	Function is an (object-oriented) constructor.
is_destructor	Function is an (object-oriented) destructor.
has_thisptr	Function is a method with a 'this' pointer as an argument.

Member Function Documentation

◆ assumedInputExtension()

OpCode FuncProto::assumedInputExtension	(	const Address &	addr,
		int4	size,
		VarnodeData &	res
	)		const

inline

Get the type of extension and containing input parameter for the given storage.

If the given storage is properly contained within a normal parameter and the model typically extends a small value into the full container, pass back the full container and the type of extension.

Parameters

addr	is the starting address of the given storage
size	is the number of bytes in the given storage
res	is the parameter storage to pass back

Returns: the extension operator (INT_ZEXT INT_SEXT) or INT_COPY if there is no extension. INT_PIECE indicates the extension is determined by the specific prototype.

References ProtoModel::assumedInputExtension(), and model.

Referenced by ActionPrototypeTypes::extendInput().

◆ assumedOutputExtension()

OpCode FuncProto::assumedOutputExtension	(	const Address &	addr,
		int4	size,
		VarnodeData &	res
	)		const

inline

Get the type of extension and containing return value location for the given storage.

If the given storage is properly contained within a normal return value location and the model typically extends a small value into the full container, pass back the full container and the type of extension.

Parameters

addr	is the starting address of the given storage
size	is the number of bytes in the given storage
res	is the parameter storage to pass back

Returns: the extension operator (INT_ZEXT INT_SEXT) or INT_COPY if there is no extension. INT_PIECE indicates the extension is determined by the specific prototype.

References ProtoModel::assumedOutputExtension(), and model.

Referenced by FuncCallSpecs::commitNewOutputs(), and ActionFuncLink::funcLinkOutput().

◆ checkInputJoin()

bool FuncProto::checkInputJoin	(	const Address &	hiaddr,
		int4	hisz,
		const Address &	loaddr,
		int4	losz
	)		const

inline

Check if the given two input storage locations can represent a single logical parameter.

For this prototype, do the two (hi/lo) locations represent consecutive input parameter locations that can be replaced by a single logical parameter.

Parameters

hiaddr	is the address of the most significant part of the value
hisz	is the size of the most significant part in bytes
loaddr	is the address of the least significant part of the value
losz	is the size of the least significant part in bytes

Returns: true if the two pieces can be joined

References ProtoModel::checkInputJoin(), and model.

Referenced by FuncCallSpecs::checkInputJoin().

◆ checkInputSplit()

bool FuncProto::checkInputSplit	(	const Address &	loc,
		int4	size,
		int4	splitpoint
	)		const

inline

Check if it makes sense to split a single storage location into two input parameters.

A storage location and split point is provided, implying two new storage locations. Does this prototype allow these locations to be considered separate parameters.

Parameters

loc	is the starting address of provided storage location
size	is the size of the location in bytes
splitpoint	is the number of bytes to consider in the first (in address order) piece

Returns: true if the storage location can be split

References ProtoModel::checkInputSplit(), and model.

Referenced by ActionParamDouble::apply().

◆ copy()

void FuncProto::copy ( const FuncProto & op2 )

Copy another function prototype.

Parameters

op2	is the other function prototype to copy into this

References ProtoStore::clone(), effectlist, extrapop, flags, injectid, likelytrash, model, and store.

Referenced by ActionDefaultParams::apply(), Override::applyPrototype(), FuncCallSpecs::clone(), FuncCallSpecs::forceSet(), and FuncCallSpecs::lateRestriction().

◆ deriveInputMap()

void FuncProto::deriveInputMap ( ParamActive * active ) const

inline

Given a list of input trials, derive the most likely inputs for this prototype.

Trials are sorted and marked as used or not.

Parameters

active is the collection of Varnode input trials

References ProtoModel::deriveInputMap(), and model.

Referenced by ActionActiveParam::apply(), and ActionInputPrototype::apply().

◆ deriveOutputMap()

void FuncProto::deriveOutputMap ( ParamActive * active ) const

inline

Given a list of output trials, derive the most likely return value for this prototype.

One trial (at most) is marked used and moved to the front of the list

Parameters

active is the collection of output trials

References ProtoModel::deriveOutputMap(), and model.

Referenced by ActionActiveReturn::apply(), and ActionReturnRecovery::apply().

◆ getComparableFlags()

uint4 FuncProto::getComparableFlags ( void ) const

inline

Get the comparable properties of this prototype.

Get properties not including locking, error, and inlining flags.

Returns: the active set of flags for this prototype

References dotdotdot, flags, has_thisptr, is_constructor, and is_destructor.

◆ getInjectId()

int4 FuncProto::getInjectId ( void ) const

inline

Get the injection id associated with this.

A non-negative id indicates a call-fixup is used to in-line function's with this prototype.

Returns: the id value corresponding to the specific call-fixup or -1 if there is no call-fixup

References injectid.

Referenced by FlowInfo::injectPcode(), and FlowInfo::injectSubFunction().

◆ getLikelyTrash()

const VarnodeData & FuncProto::getLikelyTrash ( int4 i ) const

Get the i-th likely-trash location.

Parameters

i	is the index of the storage location

Returns: the storage location which may hold a trash value

References ProtoModel::getLikelyTrash(), likelytrash, and model.

Referenced by ActionLikelyTrash::apply().

◆ getMaxInputDelay()

int4 FuncProto::getMaxInputDelay ( void ) const

inline

Return the maximum heritage delay across all possible input parameters.

Depending on the address space, data-flow for a parameter may not be available until extra transform passes have completed. This method returns the number of passes that must occur before we can guarantee that all parameters have data-flow info.

Returns: the maximum number of passes across all input parameters in this prototype

References ProtoModel::getMaxInputDelay(), and model.

Referenced by FuncCallSpecs::initActiveInput().

◆ getMaxOutputDelay()

int4 FuncProto::getMaxOutputDelay ( void ) const

inline

Return the maximum heritage delay across all possible return values.

Depending on the address space, data-flow for a parameter may not be available until extra transform passes have completed. This method returns the number of passes that must occur before we can guarantee that any return value has data-flow info.

Returns: the maximum number of passes across all output parameters in this prototype

References ProtoModel::getMaxOutputDelay(), and model.

Referenced by Funcdata::initActiveOutput().

◆ getPieces()

void FuncProto::getPieces ( PrototypePieces & pieces ) const

Get the raw pieces of the prototype.

Copy out the raw pieces of this prototype as stand-alone objects, includings model, names, and data-types

Parameters

pieces will hold the raw pieces

References PrototypePieces::dotdotdot, ProtoStore::getInput(), ProtoParameter::getName(), ProtoStore::getNumInputs(), ProtoStore::getOutput(), ProtoParameter::getType(), PrototypePieces::innames, PrototypePieces::intypes, isDotdotdot(), PrototypePieces::model, model, PrototypePieces::outtype, and store.

◆ hasEffect()

uint4 FuncProto::hasEffect	(	const Address &	addr,
		int4	size
	)		const

Calculate the effect this has an a given storage location.

For a storage location that is active before and after a call to a function with this prototype, we determine the type of side-effect the function will have on the storage.

Parameters

addr	is the starting address of the storage location
size	is the number of bytes in the storage

Returns: the type of side-effect: EffectRecord::unaffected, EffectRecord::killedbycall, etc.

References effectlist, ProtoModel::hasEffect(), ProtoModel::lookupEffect(), and model.

Referenced by FuncCallSpecs::hasEffectTranslate(), and Funcdata::setInputVarnode().

◆ isCompatible()

bool FuncProto::isCompatible ( const FuncProto & op2 ) const

Decide if this can be safely restricted to match another prototype.

Do this and another given function prototype share enough of their model, that if we restrict this to the other prototype, we know we won't miss data-flow.

Parameters

op2	is the other restricting prototype

Returns: true if the two prototypes are compatible enough to restrict

References effectlist, extrapop, ProtoModel::extrapop_unknown, flags, ProtoStore::getOutput(), injectid, is_inline, isDotdotdot(), isInputLocked(), isOutputLocked(), likelytrash, model, no_return, and store.

Referenced by FuncCallSpecs::lateRestriction().

◆ isParamshiftApplied()

bool FuncProto::isParamshiftApplied ( void ) const

inlineprotected

Has a parameter shift been applied

References flags, and paramshift_applied.

Referenced by FuncCallSpecs::paramshiftModifyStop().

◆ numLikelyTrash()

int4 FuncProto::numLikelyTrash ( void ) const

Get the number of likely-trash locations.

Returns: the number of individual storage locations

References likelytrash, model, and ProtoModel::numLikelyTrash().

Referenced by ActionLikelyTrash::apply().

◆ paramShift()

void FuncProto::paramShift ( int4 paramshift )

protected

Add parameters to the front of the input parameter list.

Prepend the indicated number of input parameters to this. The new parameters have a data-type of xunknown4. If they were originally locked, the existing parameters are preserved.

Parameters

paramshift is the number of parameters to add (must be >0)

References ProtoModel::assignParameterStorage(), flags, ProtoModel::getArch(), TypeFactory::getBase(), ProtoParameter::getName(), getOutputType(), getParam(), ProtoParameter::getType(), TypeFactory::getTypeVoid(), Varnode::hiddenretparm, isInputLocked(), isOutputLocked(), model, numParams(), setDotdotdot(), ProtoStore::setInput(), setInputLock(), ProtoStore::setOutput(), store, TYPE_UNKNOWN, and Architecture::types.

Referenced by FuncCallSpecs::paramshiftModifyStart().

◆ possibleInputParam()

bool FuncProto::possibleInputParam	(	const Address &	addr,
		int4	size
	)		const

Decide whether a given storage location could be an input parameter.

If the input is locked, check if the location matches one of the current parameters. Otherwise, check if the location could be a parameter based on the prototype model.

Parameters

addr	is the starting address of the given storage location
size	is the number of bytes in the storage

Returns: false if the location is definitely not an input parameter

References flags, ProtoParameter::getAddress(), getParam(), ProtoParameter::getSize(), isDotdotdot(), ProtoParameter::isTypeLocked(), Address::justifiedContain(), model, numParams(), ProtoModel::possibleInputParam(), and voidinputlock.

Referenced by ActionDirectWrite::apply(), ActionInputPrototype::apply(), and Heritage::guardCalls().

◆ possibleOutputParam()

bool FuncProto::possibleOutputParam	(	const Address &	addr,
		int4	size
	)		const

Decide whether a given storage location could be a return value.

If the output is locked, check if the location matches the current return value. Otherwise, check if the location could be a return value based on the prototype model.

Parameters

addr	is the starting address of the given storage location
size	is the number of bytes in the storage

Returns: false if the location is definitely not the return value

References ProtoParameter::getAddress(), Datatype::getMetatype(), getOutput(), ProtoParameter::getSize(), ProtoParameter::getType(), isOutputLocked(), Address::justifiedContain(), model, ProtoModel::possibleOutputParam(), and TYPE_VOID.

Referenced by Heritage::guardCalls(), and Heritage::guardReturns().

◆ printRaw()

void FuncProto::printRaw	(	const string &	funcname,
		ostream &	s
	)		const

Print this prototype as a single line of text.

Parameters

funcname	is an identifier of the function using this prototype
s	is the output stream

References extrapop, ProtoModel::getName(), getOutputType(), getParam(), ProtoParameter::getType(), isDotdotdot(), model, numParams(), and Datatype::printRaw().

◆ resolveExtraPop()

void FuncProto::resolveExtraPop ( void )

Assuming this prototype is locked, calculate the extrapop.

If extrapop is unknown and this prototype is locked, try to directly calculate what the extrapop should be. This is really only designed to work with 32-bit x86 binaries.

References ProtoParameter::getAddress(), Address::getOffset(), getParam(), ProtoParameter::getSize(), IPTR_SPACEBASE, isDotdotdot(), isInputLocked(), numParams(), and setExtraPop().

Referenced by restoreXml().

◆ resolveModel()

void FuncProto::resolveModel ( ParamActive * active )

If this has a merged model, pick the most likely model (from the merged set)

The given parameter trials are used to pick from among the merged ProtoModels and this prototype is changed (specialized) to the pick

Parameters

active is the set of parameter trials to evaluate with

References ProtoModel::isMerged(), model, ProtoModelMerged::selectModel(), and setModel().

Referenced by ActionActiveParam::apply(), and ActionInputPrototype::apply().

◆ restoreXml()

void FuncProto::restoreXml	(	const Element *	el,
		Architecture *	glb
	)

Restore this from an XML stream.

The backing store for the parameters must already be established using either setStore() or setInternal().

Parameters

el	is the <prototype> XML element
glb	is the Architecture owning the prototype

References ParameterPieces::addr, InjectPayload::CALLFIXUP_TYPE, custom_storage, Architecture::defaultfp, dotdotdot, effectlist, extrapop, ProtoModel::extrapop_unknown, ParameterPieces::flags, flags, ProtoParameter::getAddress(), Datatype::getMetatype(), Architecture::getModel(), ProtoStore::getOutput(), PcodeInjectLibrary::getPayloadId(), ProtoParameter::getType(), has_thisptr, injectid, is_constructor, is_destructor, is_inline, isInputLocked(), Address::isInvalid(), isModelLocked(), isOutputLocked(), EffectRecord::killedbycall, likelytrash, model, modellock, no_return, Architecture::pcodeinjectlib, resolveExtraPop(), Address::restoreXml(), ProtoStore::restoreXml(), TypeFactory::restoreXmlType(), EffectRecord::return_address, setModel(), ProtoStore::setOutput(), ProtoParameter::setTypeLock(), store, ParameterPieces::type, TYPE_VOID, Architecture::types, EffectRecord::unaffected, unknown_model, and voidinputlock.

Referenced by Override::restoreXml().

◆ saveXml()

void FuncProto::saveXml ( ostream & s ) const

Save this to an XML stream as a <prototype> tag.

Save everything under the control of this prototype, which may not include input parameters, as these are typically controlled by the function's symbol table scope.

Parameters

s	is the output stream

References effectlist, extrapop, ProtoModel::extrapop_unknown, flags, ProtoParameter::getAddress(), ProtoModel::getArch(), PcodeInjectLibrary::getCallFixupName(), ProtoModel::getName(), ProtoStore::getOutput(), ProtoParameter::getSize(), ProtoParameter::getType(), hasCustomStorage(), hasThisPointer(), injectid, isConstructor(), isDestructor(), isDotdotdot(), isInline(), isModelLocked(), isNoReturn(), ProtoParameter::isTypeLocked(), EffectRecord::killedbycall, likelytrash, model, VarnodeData::offset, Architecture::pcodeinjectlib, EffectRecord::return_address, Address::saveXml(), Datatype::saveXml(), ProtoStore::saveXml(), AddrSpace::saveXmlAttributes(), VarnodeData::size, VarnodeData::space, store, EffectRecord::unaffected, and voidinputlock.

◆ setConstructor()

void FuncProto::setConstructor ( bool val )

inline

Toggle whether this prototype is a constructor method.

Parameters

val	is true if this is a constructor, false otherwise

References flags, and is_constructor.

◆ setDestructor()

void FuncProto::setDestructor ( bool val )

inline

Toggle whether this prototype is a destructor method.

Parameters

val	is true if this is a destructor

References flags, and is_destructor.

◆ setInline()

void FuncProto::setInline ( bool val )

inline

Toggle the in-line setting for functions with this prototype.

In-lining can be based on a call-fixup, or the full body of the function can be in-lined.

Parameters

val	is true if in-lining should be performed.

References flags, and is_inline.

Referenced by OptionInline::apply().

◆ setInputErrors()

void FuncProto::setInputErrors ( bool val )

inline

Toggle the input error setting for this prototype.

Parameters

val	is true if input parameters should be marked as in error

References error_inputparam, and flags.

Referenced by FuncCallSpecs::forceSet().

◆ setInputLock()

void FuncProto::setInputLock ( bool val )

Toggle the data-type lock on input parameters.

The lock on the data-type of input parameters is set as specified. A true value indicates that future analysis will not change the number of input parameters or their data-type. Zero parameters or void can be locked.

Parameters

val	is true to indicate a lock, false for unlocked

References flags, getParam(), modellock, numParams(), ProtoParameter::setTypeLock(), and voidinputlock.

Referenced by FuncCallSpecs::forceSet(), paramShift(), and setPieces().

◆ setInternal()

void FuncProto::setInternal	(	ProtoModel *	m,
		Datatype *	vt
	)

Set internal backing storage for this.

A prototype model is set, and any parameters added to this during analysis will be backed internally.

Parameters

m	is the prototype model to set
vt	is the default void data-type to use if the return-value remains unassigned

References model, setModel(), and store.

Referenced by ActionDefaultParams::apply(), and Override::restoreXml().

◆ setModel()

void FuncProto::setModel ( ProtoModel * m )

Set the prototype model for this.

Establish a specific prototype model for this function prototype. Some basic properties are inherited from the model, otherwise parameters are unchanged.

Parameters

m	is the new prototype model to set

References extrapop, ProtoModel::extrapop_unknown, flags, ProtoModel::getExtraPop(), has_thisptr, ProtoModel::hasThisPointer(), is_constructor, ProtoModel::isConstructor(), model, and unknown_model.

Referenced by ActionPrototypeTypes::apply(), ActionDefaultParams::apply(), resolveModel(), restoreXml(), setInternal(), setPieces(), setScope(), and updateAllTypes().

◆ setModelLock()

void FuncProto::setModelLock ( bool val )

inline

Toggle the lock on the prototype model for this.

The prototype model can be locked while still leaving parameters unlocked. Parameter recovery will follow the rules of the locked model.

Parameters

val	is true to indicate a lock, false for unlocked

References flags, and modellock.

Referenced by setPieces().

◆ setNoReturn()

void FuncProto::setNoReturn ( bool val )

inline

Toggle the no-return setting for functions with this prototype.

Parameters

val	is true to treat the function as never returning

References flags, and no_return.

Referenced by OptionNoReturn::apply().

◆ setOutputErrors()

void FuncProto::setOutputErrors ( bool val )

inline

Toggle the output error setting for this prototype.

Parameters

val	is true if return value should be marked as in error

References error_outputparam, and flags.

Referenced by FuncCallSpecs::forceSet().

◆ setOutputLock()

void FuncProto::setOutputLock ( bool val )

Toggle the data-type lock on the return value.

The lock of the data-type of the return value is set as specified. A true value indicates that future analysis will not change the presence of or the data-type of the return value. A void return value can be locked.

Parameters

val	is true to indicate a lock, false for unlocked

References flags, ProtoStore::getOutput(), modellock, ProtoParameter::setTypeLock(), and store.

Referenced by setPieces().

◆ setPieces()

void FuncProto::setPieces ( const PrototypePieces & pieces )

Set this prototype based on raw pieces.

The full function prototype is (re)set from a model, names, and data-types The new input and output parameters are both assumed to be locked.

Parameters

pieces is the raw collection of names and data-types

References PrototypePieces::dotdotdot, PrototypePieces::innames, PrototypePieces::intypes, PrototypePieces::model, PrototypePieces::outtype, setInputLock(), setModel(), setModelLock(), setOutputLock(), and updateAllTypes().

Referenced by Architecture::setPrototype().

◆ setScope()

void FuncProto::setScope	(	Scope *	s,
		const Address &	startpoint
	)

Set a backing symbol Scope for this.

Input parameters are set based on an existing function Scope and if there is no prototype model the default model is set. Parameters that are added to this during analysis will automatically be reflected in the symbol table. This should only be called during initialization of this prototype.

Parameters

s	is the Scope to set
startpoint	is a usepoint to associate with the parameters

References Architecture::defaultfp, Scope::getArch(), model, setModel(), and store.

Referenced by Funcdata::Funcdata().

◆ setThisPointer()

void FuncProto::setThisPointer ( bool val )

inline

Toggle the this-call setting for this prototype.

Parameters

val	is true if this prototype uses a this pointer

References flags, and has_thisptr.

◆ unjustifiedInputParam()

bool FuncProto::unjustifiedInputParam	(	const Address &	addr,
		int4	size,
		VarnodeData &	res
	)		const

Check if the given storage location looks like an unjustified input parameter.

The storage for a value may be contained in a normal parameter location but be unjustified within that container, i.e. the least significant bytes are not being used. If this is the case, pass back the full parameter location and return true. If the input is locked, checking is againt the set parameters, otherwise the check is against the prototype model.

Parameters

addr	is the starting address of the given storage
size	is the number of bytes in the given storage
res	is the full parameter storage to pass back

Returns: true if the given storage is unjustified within its parameter container

References flags, ProtoParameter::getAddress(), Address::getOffset(), getParam(), ProtoParameter::getSize(), Address::getSpace(), isDotdotdot(), ProtoParameter::isTypeLocked(), Address::justifiedContain(), model, numParams(), VarnodeData::offset, VarnodeData::size, VarnodeData::space, ProtoModel::unjustifiedInputParam(), and voidinputlock.

◆ updateAllTypes()

void FuncProto::updateAllTypes	(	const vector< string > &	namelist,
		const vector< Datatype * > &	typelist,
		bool	dtdtdt
	)

Set this entire function prototype based on a list of names and data-types.

Prototype information is provided as separate lists of names and data-types, where the first entry corresponds to the output parameter (return value) and the remaining entries correspond to input parameters. Storage locations and hidden return parameters are calculated, creating a complete function protototype. Existing locks are overridden.

Parameters

namelist	is the list of parameter names
typelist	is the list of data-types
dtdtdt	is true if the new prototype accepts variable argument lists

References ProtoModel::assignParameterStorage(), ProtoStore::clearAllInputs(), ProtoStore::clearOutput(), error_inputparam, flags, Varnode::hiddenretparm, model, setDotdotdot(), ProtoStore::setInput(), setModel(), ProtoStore::setOutput(), store, and voidinputlock.

Referenced by setPieces().

◆ updateInputNoTypes()

void FuncProto::updateInputNoTypes	(	const vector< Varnode * > &	triallist,
		ParamActive *	activeinput,
		TypeFactory *	factory
	)

Update input parameters based on Varnode trials, but do not store the data-type.

This is accomplished in the same way as if there were data-types but instead of pulling a data-type from the Varnode, only the size is used. Undefined data-types are pulled from the given TypeFactory

Parameters

triallist	is the list of Varnodes
activeinput	is the trial container
factory	is the given TypeFactory

References ParameterPieces::addr, ProtoStore::clearAllInputs(), ParameterPieces::flags, TypeFactory::getBase(), ParamActive::getNumTrials(), Varnode::getSize(), ParamActive::getTrial(), isInputLocked(), Varnode::isMark(), ProtoStore::setInput(), Varnode::setMark(), store, ParameterPieces::type, and TYPE_UNKNOWN.

Referenced by ActionInputPrototype::apply().

◆ updateInputTypes()

void FuncProto::updateInputTypes	(	const vector< Varnode * > &	triallist,
		ParamActive *	activeinput
	)

Update input parameters based on Varnode trials.

If the input parameters are locked, don't do anything. Otherwise, given a list of Varnodes and their associated trial information, create an input parameter for each trial in order, grabbing data-type information from the Varnode. Any old input parameters are cleared.

Parameters

triallist	is the list of Varnodes
activeinput	is the trial container

References ParameterPieces::addr, ProtoStore::clearAllInputs(), ParameterPieces::flags, Varnode::getHigh(), ParamActive::getNumTrials(), ParamActive::getTrial(), HighVariable::getType(), isInputLocked(), Varnode::isMark(), ProtoStore::setInput(), Varnode::setMark(), store, and ParameterPieces::type.

Referenced by ActionInputPrototype::apply().

◆ updateOutputNoTypes()

void FuncProto::updateOutputNoTypes	(	const vector< Varnode * > &	triallist,
		TypeFactory *	factory
	)

Update the return value based on Varnode trials, but don't store the data-type.

If the output parameter is locked, don't do anything. Otherwise, given a list of (at most 1) Varnode, create a return value, grabbing size information from the Varnode. An undefined data-type is created from the given TypeFactory. Any old return value is removed.

Parameters

triallist	is the list of Varnodes
factory	is the given TypeFactory

References ParameterPieces::addr, ProtoStore::clearOutput(), ParameterPieces::flags, TypeFactory::getBase(), isOutputLocked(), ProtoStore::setOutput(), store, ParameterPieces::type, and TYPE_UNKNOWN.

Referenced by ActionOutputPrototype::apply().

◆ updateOutputTypes()

void FuncProto::updateOutputTypes ( const vector< Varnode * > & triallist )

Update the return value based on Varnode trials.

If the output parameter is locked, don't do anything. Otherwise, given a list of (at most 1) Varnode, create a return value, grabbing data-type information from the Varnode. Any old return value is removed.

Parameters

triallist is the list of Varnodes

References ParameterPieces::addr, ProtoStore::clearOutput(), ParameterPieces::flags, ProtoParameter::getAddress(), getOutput(), ProtoParameter::getSize(), ProtoParameter::isSizeTypeLocked(), ProtoParameter::isTypeLocked(), ProtoParameter::overrideSizeLockType(), ProtoStore::setOutput(), store, and ParameterPieces::type.

Referenced by ActionOutputPrototype::apply().

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

fspec.hh
fspec.cc

Public Member Functions

Protected Member Functions

Private Types

Private Attributes

Detailed Description

Member Enumeration Documentation

◆ anonymous enum

Member Function Documentation

◆ assumedInputExtension()

◆ assumedOutputExtension()

◆ checkInputJoin()

◆ checkInputSplit()

◆ copy()

◆ deriveInputMap()

◆ deriveOutputMap()

◆ getComparableFlags()

◆ getInjectId()

◆ getLikelyTrash()

◆ getMaxInputDelay()

◆ getMaxOutputDelay()

◆ getPieces()

◆ hasEffect()

◆ isCompatible()

◆ isParamshiftApplied()

◆ numLikelyTrash()

◆ paramShift()

◆ possibleInputParam()

◆ possibleOutputParam()

◆ printRaw()

◆ resolveExtraPop()

◆ resolveModel()

◆ restoreXml()

◆ saveXml()

◆ setConstructor()

◆ setDestructor()

◆ setInline()

◆ setInputErrors()

◆ setInputLock()

◆ setInternal()

◆ setModel()

◆ setModelLock()

◆ setNoReturn()

◆ setOutputErrors()

◆ setOutputLock()

◆ setPieces()

◆ setScope()

◆ setThisPointer()

◆ unjustifiedInputParam()

◆ updateAllTypes()

◆ updateInputNoTypes()

◆ updateInputTypes()

◆ updateOutputNoTypes()

◆ updateOutputTypes()