A union of other input parameter passing models. More...
#include <fspec.hh>
Inheritance diagram for ParamListMerged:
Public Member Functions | |
| ParamListMerged (void) | |
| Constructor for use with decode. | |
| ParamListMerged (const ParamListMerged &op2) | |
| Copy constructor. | |
| void | foldIn (const ParamListStandard &op2) |
| Add another model to the union. More... | |
| void | finalize (void) |
| Fold-ins are finished, finalize this. | |
| virtual uint4 | getType (void) const |
| Get the type of parameter list. More... | |
| virtual void | assignMap (const vector< Datatype * > &proto, 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 ParamList * | clone (void) const |
| Clone this parameter list model. More... | |
 Public Member Functions inherited from ParamListStandard | |
| ParamListStandard (void) | |
| Construct for use with decode() | |
| ParamListStandard (const ParamListStandard &op2) | |
| Copy constructor. | |
| const list< ParamEntry > & | getEntry (void) const |
| Get the list of parameter entries. | |
| virtual uint4 | getType (void) const |
| Get the type of parameter list. More... | |
| virtual void | assignMap (const vector< Datatype * > &proto, 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 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 AddrSpace * | getSpacebase (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 | decode (Decoder &decoder, vector< EffectRecord > &effectlist, bool normalstack) |
| Restore the model from an <input> or <output> element in the stream. More... | |
| virtual ParamList * | clone (void) const |
| Clone this parameter list model. More... | |
| Public Member Functions inherited from ParamList | |
| virtual | ~ParamList (void) |
| Destructor. | |
| virtual uint4 | getType (void) const =0 |
| Get the type of parameter list. More... | |
| virtual void | assignMap (const vector< Datatype * > &proto, TypeFactory &typefactory, vector< ParameterPieces > &res) const =0 |
| Given list of data-types, map the list positions to storage locations. More... | |
| virtual void | fillinMap (ParamActive *active) const =0 |
| Given an unordered list of storage locations, calculate a function prototype. More... | |
| virtual bool | checkJoin (const Address &hiaddr, int4 hisize, const Address &loaddr, int4 losize) const =0 |
| 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 =0 |
| Check if it makes sense to split a single storage location into two parameters. More... | |
| virtual int4 | characterizeAsParam (const Address &loc, int4 size) const =0 |
| Characterize whether the given range overlaps parameter storage. More... | |
| virtual bool | possibleParam (const Address &loc, int4 size) const =0 |
| Does the given storage location make sense as a parameter. More... | |
| virtual bool | possibleParamWithSlot (const Address &loc, int4 size, int4 &slot, int4 &slotsize) const =0 |
| 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 =0 |
| Pass-back the biggest parameter contained within the given range. More... | |
| virtual bool | unjustifiedContainer (const Address &loc, int4 size, VarnodeData &res) const =0 |
| Check if the given storage location looks like an unjustified parameter. More... | |
| virtual OpCode | assumedExtension (const Address &addr, int4 size, VarnodeData &res) const =0 |
| Get the type of extension and containing parameter for the given storage. More... | |
| virtual AddrSpace * | getSpacebase (void) const =0 |
| Get the address space associated with any stack based parameters in this list. More... | |
| virtual void | getRangeList (AddrSpace *spc, RangeList &res) const =0 |
| For a given address space, collect all the parameter locations within that space. More... | |
| virtual int4 | getMaxDelay (void) const =0 |
| Return the maximum heritage delay across all possible parameters. More... | |
| virtual void | decode (Decoder &decoder, vector< EffectRecord > &effectlist, bool normalstack)=0 |
| Restore the model from an <input> or <output> element in the stream. More... | |
| virtual ParamList * | clone (void) const =0 |
| Clone this parameter list model. More... | |
Additional Inherited Members | |
| Public Types inherited from ParamList | |
| enum | { p_standard , p_standard_out , p_register , p_register_out , p_merged } |
| Protected Member Functions inherited from ParamListStandard | |
| const ParamEntry * | findEntry (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... | |
| const ParamEntry * | selectUnreferenceEntry (int4 grp, type_metatype prefType) const |
| Select entry to fill an unreferenced param. More... | |
| void | buildTrialMap (ParamActive *active) const |
| Build map from parameter trials to model ParamEntrys. More... | |
| void | separateSections (ParamActive *active, int4 &oneStart, int4 &oneStop, int4 &twoStart, int4 &twoStop) const |
| Calculate the range of trials in each of the two resource sections. More... | |
| void | calcDelay (void) |
| Calculate the maximum heritage delay for any potential parameter in this list. | |
| void | addResolverRange (AddrSpace *spc, uintb first, uintb last, ParamEntry *paramEntry, int4 position) |
| Internal method for adding a single address range to the ParamEntryResolvers. More... | |
| void | populateResolver (void) |
| Build the ParamEntry resolver maps. More... | |
| void | parsePentry (Decoder &decoder, vector< EffectRecord > &effectlist, int4 groupid, bool normalstack, bool autokill, bool splitFloat, bool grouped) |
| Parse a <pentry> element and add it to this list. More... | |
| void | parseGroup (Decoder &decoder, vector< EffectRecord > &effectlist, int4 groupid, bool normalstack, bool autokill, bool splitFloat) |
| Parse a sequence of <pentry> elements that are allocated as a group. More... | |
| Static Protected Member Functions inherited from ParamListStandard | |
| static void | markGroupNoUse (ParamActive *active, int4 groupUpper, int4 groupStart, int4 index) |
| Mark all the trials within the indicated groups as not used, except for one specified index. More... | |
| static void | markBestInactive (ParamActive *active, int4 group, int4 groupStart, type_metatype prefType) |
| From among multiple inactive trials, select the most likely to be active and mark others as not used. More... | |
| static void | forceExclusionGroup (ParamActive *active) |
| Enforce exclusion rules for the given set of parameter trials. More... | |
| static void | forceNoUse (ParamActive *active, int4 start, int4 stop) |
| Mark every trial above the first "definitely not used" as inactive. More... | |
| static void | forceInactiveChain (ParamActive *active, int4 maxchain, int4 start, int4 stop, int4 groupstart) |
| Enforce rules about chains of inactive slots. 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 | resourceTwoStart |
| If there are two resource sections, the group of the first entry in the second section. | |
| list< ParamEntry > | entry |
| The ordered list of parameter entries. | |
| vector< ParamEntryResolver * > | resolverMap |
| Map from space id to resolver. | |
| AddrSpace * | spacebase |
| 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()
|
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
-
proto is the ordered list of data-types typefactory is the TypeFactory (for constructing pointers) res will contain the storage locations corresponding to the datatypes
Reimplemented from ParamListStandard.
◆ clone()
|
virtual |
Clone this parameter list model.
Reimplemented from ParamListStandard.
References ParamListMerged().
◆ fillinMap()
|
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
-
active is 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
-
op2 is the list model to fold into this
References ParamListStandard::entry, ParamListStandard::getEntry(), ParamEntry::getMinSize(), ParamListStandard::getSpacebase(), ParamListStandard::spacebase, and ParamEntry::subsumesDefinition().
◆ getType()
|
inlinevirtual |
Get the type of parameter list.
Reimplemented from ParamListStandard.
References ParamList::p_merged.
The documentation for this class was generated from the following files:
- fspec.hh
- fspec.cc
