Ghidra Decompiler Analysis Engine
Public Member Functions | List of all members
ParamListMerged Class Reference

A union of other input parameter passing models. More...

#include <fspec.hh>

Inheritance diagram for ParamListMerged:
Inheritance graph
[legend]
Collaboration diagram for ParamListMerged:
Collaboration graph
[legend]

Public Member Functions

void foldIn (const ParamListStandard &op2)
 Add another model to the union. More...
 
virtual uint4 getType (void) const
 Get the type of parameter list.
 
virtual void assignMap (const vector< Datatype * > &proto, bool isinput, TypeFactory &typefactory, vector< ParameterPieces > &res) const
 Given list of data-types, map the list positions to storage locations. More...
 
virtual void fillinMap (ParamActive *active) const
 Given an unordered list of storage locations, calculate a function prototype. More...
 
virtual ParamListclone (void) const
 Clone this parameter list model.
 
- Public Member Functions inherited from ParamListStandard
 ParamListStandard (const ParamListStandard &op2)
 Copy constructor.
 
virtual bool checkJoin (const Address &hiaddr, int4 hisize, const Address &loaddr, int4 losize) const
 Check if the given two storage locations can represent a single logical parameter. More...
 
virtual bool checkSplit (const Address &loc, int4 size, int4 splitpoint) const
 Check if it makes sense to split a single storage location into two parameters. More...
 
virtual int4 characterizeAsParam (const Address &loc, int4 size) const
 Characterize whether the given range overlaps parameter storage. More...
 
virtual bool possibleParam (const Address &loc, int4 size) const
 Does the given storage location make sense as a parameter. More...
 
virtual bool possibleParamWithSlot (const Address &loc, int4 size, int4 &slot, int4 &slotsize) const
 Pass-back the slot and slot size for the given storage location as a parameter. More...
 
virtual bool getBiggestContainedParam (const Address &loc, int4 size, VarnodeData &res) const
 Pass-back the biggest parameter contained within the given range. More...
 
virtual bool unjustifiedContainer (const Address &loc, int4 size, VarnodeData &res) const
 Check if the given storage location looks like an unjustified parameter. More...
 
virtual OpCode assumedExtension (const Address &addr, int4 size, VarnodeData &res) const
 Get the type of extension and containing parameter for the given storage. More...
 
virtual AddrSpacegetSpacebase (void) const
 Get the address space associated with any stack based parameters in this list. More...
 
virtual void getRangeList (AddrSpace *spc, RangeList &res) const
 For a given address space, collect all the parameter locations within that space. More...
 
virtual int4 getMaxDelay (void) const
 Return the maximum heritage delay across all possible parameters. More...
 
virtual void restoreXml (const Element *el, const AddrSpaceManager *manage, vector< EffectRecord > &effectlist, bool normalstack)
 Restore the model from an XML stream. More...
 

Additional Inherited Members

- Public Types inherited from ParamList
enum  { p_standard, p_standard_out, p_register, p_merged }
 
- Protected Member Functions inherited from ParamListStandard
const ParamEntryfindEntry (const Address &loc, int4 size) const
 Given storage location find matching ParamEntry. More...
 
Address assignAddress (const Datatype *tp, vector< int4 > &status) const
 Assign storage for given parameter data-type. More...
 
void buildTrialMap (ParamActive *active) const
 Build map from parameter trials to model ParamEntrys. More...
 
void separateFloat (ParamActive *active, int4 &floatstart, int4 &floatstop, int4 &start, int4 &stop) const
 Calculate the range of floating-point entries within a given set of parameter trials. More...
 
void forceExclusionGroup (ParamActive *active) const
 Enforce exclusion rules for the given set of parameter trials. More...
 
void forceNoUse (ParamActive *active, int4 start, int4 stop) const
 Mark every trial above the first "definitely not used" as inactive. More...
 
void forceInactiveChain (ParamActive *active, int4 maxchain, int4 start, int4 stop) const
 Enforce rules about chains of inactive slots. More...
 
void calcDelay (void)
 Calculate the maximum heritage delay for any potential parameter in this list.
 
void populateResolver (void)
 Build the ParamEntry resolver maps. More...
 
- Protected Attributes inherited from ParamListStandard
int4 numgroup
 Number of groups in this parameter convention.
 
int4 maxdelay
 Maximum heritage delay across all parameters.
 
int4 pointermax
 If non-zero, maximum size of a data-type before converting to a pointer.
 
bool thisbeforeret
 Does a this parameter come before a hidden return parameter.
 
int4 nonfloatgroup
 Group of first entry which is not marked float.
 
list< ParamEntryentry
 The ordered list of parameter entries.
 
vector< ParamEntryResolver * > resolverMap
 Map from space id to resolver.
 
AddrSpacespacebase
 Address space containing relative offset parameters.
 

Detailed Description

A union of other input parameter passing models.

This model is viewed as a union of a constituent set of resource lists. This allows initial data-flow analysis to proceed when the exact model isn't known. The assignMap() and fillinMap() methods are disabled for instances of this class. The controlling prototype model (ProtoModelMerged) decides from among the constituent ParamList models before these routines need to be invoked.

Member Function Documentation

◆ assignMap()

virtual void ParamListMerged::assignMap ( const vector< Datatype * > &  proto,
bool  isinput,
TypeFactory typefactory,
vector< ParameterPieces > &  res 
) const
inlinevirtual

Given list of data-types, map the list positions to storage locations.

If we know the function prototype, recover how parameters are actually stored using the model.

Parameters
protois the ordered list of data-types
isinputis true for the input prototype, false for output prototype
typefactoryis the TypeFactory (for constructing pointers)
reswill contain the storage locations corresponding to the datatypes

Reimplemented from ParamListStandard.

◆ fillinMap()

virtual void ParamListMerged::fillinMap ( ParamActive active) const
inlinevirtual

Given an unordered list of storage locations, calculate a function prototype.

A list of input (or output) trials is given, which may have holes, invalid inputs etc. Decide on the formal ordered parameter list. Trials within the ParamActive are added, removed, or reordered as needed.

Parameters
activeis the given list of trials

Reimplemented from ParamListStandard.

◆ foldIn()

void ParamListMerged::foldIn ( const ParamListStandard op2)

Add another model to the union.

The given set of parameter entries are folded into this set. Duplicate entries are eliminated. Containing entries subsume what they contain.

Parameters
op2is the list model to fold into this

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