Remove PTRADD operations with mismatched data-type information. More...
Public Member Functions | |
| RulePtraddUndo (const string &g) | |
| Constructor. | |
| virtual Rule * | clone (const ActionGroupList &grouplist) const |
| Clone the Rule. More... | |
| virtual void | getOpList (vector< uint4 > &oplist) const |
| List of op codes this rule operates on. More... | |
| virtual int4 | applyOp (PcodeOp *op, Funcdata &data) |
| Attempt to apply this Rule. More... | |
 Public Member Functions inherited from Rule | |
| Rule (const string &g, uint4 fl, const string &nm) | |
| Construct given group, properties name. More... | |
| virtual | ~Rule (void) |
| Destructor. | |
| const string & | getName (void) const |
| Return the name of this Rule. | |
| const string & | getGroup (void) const |
| Return the group this Rule belongs to. | |
| uint4 | getNumTests (void) |
| Get number of attempted applications. | |
| uint4 | getNumApply (void) |
| Get number of successful applications. | |
| void | setBreak (uint4 tp) |
| Set a breakpoint on this Rule. | |
| void | clearBreak (uint4 tp) |
| Clear a breakpoint on this Rule. | |
| void | turnOnWarnings (void) |
| Enable warnings for this Rule. | |
| void | turnOffWarnings (void) |
| Disable warnings for this Rule. | |
| bool | isDisabled (void) const |
| Return true if this Rule is disabled. | |
| void | setDisable (void) |
| Disable this Rule (within its pool) | |
| void | clearDisable (void) |
| Enable this Rule (within its pool) | |
| bool | checkActionBreak (void) |
| Check if an action breakpoint is turned on. More... | |
| uint4 | getBreakPoint (void) const |
| Return breakpoint toggles. | |
| virtual void | reset (Funcdata &data) |
| Reset this Rule. More... | |
| virtual void | resetStats (void) |
| Reset Rule statistics. More... | |
| virtual void | printStatistics (ostream &s) const |
| Print statistics for this Rule. More... | |
Additional Inherited Members | |
| Public Types inherited from Rule | |
| enum | typeflags { type_disable = 1, rule_debug = 2, warnings_on = 4, warnings_given = 8 } |
| Properties associated with a Rule. More... | |
Detailed Description
Remove PTRADD operations with mismatched data-type information.
It is possible for Varnodes to be assigned incorrect types in the middle of simplification. This leads to incorrect PTRADD conversions. Once the correct type is found, the PTRADD must be converted back to an INT_ADD.
Member Function Documentation
◆ applyOp()
Attempt to apply this Rule.
This method contains the main logic for applying the Rule. It must use a given PcodeOp as the point at which the Rule applies. If it does apply, changes are made directly to the function and 1 (non-zero) is returned, otherwise 0 is returned.
Reimplemented from Rule.
References AddrSpace::addressToByteInt(), CPUI_INT_ADD, CPUI_INT_MULT, PcodeOp::getAddr(), PcodeOp::getIn(), Datatype::getMetatype(), Varnode::getOffset(), TypePointer::getPtrTo(), Datatype::getSize(), Varnode::getSize(), Varnode::getType(), TypePointer::getWordSize(), Varnode::isConstant(), Funcdata::isTypeRecoveryOn(), Funcdata::newOp(), Funcdata::newUniqueOut(), Funcdata::opInsertBefore(), Funcdata::opRemoveInput(), Funcdata::opSetInput(), Funcdata::opSetOpcode(), and TYPE_PTR.
◆ clone()
|
inlinevirtual |
Clone the Rule.
If this Rule is a member of one of the groups in the grouplist, this returns a clone of the Rule, otherwise NULL is returned.
- Parameters
-
grouplist is the list of groups being cloned
- Returns
- the cloned Rule or NULL
Implements Rule.
References ActionGroupList::contains(), Rule::getGroup(), and RulePtraddUndo().
◆ getOpList()
|
virtual |
List of op codes this rule operates on.
Populate the given array with all possible OpCodes this Rule might apply to. By default, this method returns all possible OpCodes
- Parameters
-
oplist is the array to populate
Reimplemented from Rule.
References CPUI_PTRADD.
The documentation for this class was generated from the following files:
- ruleaction.hh
- ruleaction.cc
