Dead code removal. Eliminate dead p-code ops. More...
#include <coreaction.hh>
Public Member Functions | |
| virtual Action * | clone (const ActionGroupList &grouplist) const |
| Clone the Action. More... | |
| virtual int4 | apply (Funcdata &data) |
| Make a single attempt to apply this Action. More... | |
 Public Member Functions inherited from Action | |
| Action (uint4 f, const string &nm, const string &g) | |
| Base constructor for an Action. More... | |
| virtual void | printStatistics (ostream &s) const |
| Dump statistics to stream. More... | |
| int4 | perform (Funcdata &data) |
| Perform this action (if necessary) More... | |
| bool | setBreakPoint (uint4 tp, const string &specify) |
| Set a breakpoint on this action. More... | |
| virtual void | clearBreakPoints (void) |
| Clear all breakpoints set on this Action. | |
| bool | setWarning (bool val, const string &specify) |
| Set a warning on this action. More... | |
| bool | disableRule (const string &specify) |
| Disable a specific Rule within this. More... | |
| bool | enableRule (const string &specify) |
| Enable a specific Rule within this. More... | |
| virtual void | reset (Funcdata &data) |
| Reset the Action for a new function. More... | |
| virtual void | resetStats (void) |
| Reset all the counts to zero. More... | |
| virtual int4 | print (ostream &s, int4 num, int4 depth) const |
| Print a description of this Action to stream. More... | |
| virtual void | printState (ostream &s) const |
| Print status to stream. More... | |
| virtual Action * | getSubAction (const string &specify) |
| Retrieve a specific sub-action by name. More... | |
| virtual Rule * | getSubRule (const string &specify) |
| Retrieve a specific sub-rule by name. More... | |
Additional Inherited Members | |
| Public Types inherited from Action | |
| enum | ruleflags { rule_repeatapply = 4, rule_onceperfunc = 8, rule_oneactperfunc = 16, rule_debug = 32, rule_warnings_on = 64, rule_warnings_given = 128 } |
| Boolean behavior properties governing this particular Action. More... | |
| enum | statusflags { status_start =1, status_breakstarthit =2, status_repeat =4, status_mid =8, status_end =16, status_actionbreak =32 } |
| Boolean properties describing the status of an action. More... | |
| enum | breakflags { break_start = 1, tmpbreak_start = 2, break_action = 4, tmpbreak_action = 8 } |
| Break points associated with an Action. More... | |
| Protected Member Functions inherited from Action | |
| void | issueWarning (Architecture *glb) |
| Warn that this Action has applied. More... | |
| bool | checkStartBreak (void) |
| Check start breakpoint. More... | |
| bool | checkActionBreak (void) |
| Check action breakpoint. More... | |
| Protected Attributes inherited from Action | |
| int4 | lcount |
| Changes not including last call to apply() | |
| int4 | count |
| Number of changes made by this action so far. | |
| uint4 | status |
| Current status. | |
| uint4 | breakpoint |
| Breakpoint properties. | |
| uint4 | flags |
| Behavior properties. | |
| uint4 | count_tests |
| Number of times apply() has been called. | |
| uint4 | count_apply |
| Number of times apply() made changes. | |
| string | name |
| Name of the action. | |
| string | basegroup |
| Base group this action belongs to. | |
Detailed Description
Dead code removal. Eliminate dead p-code ops.
This is a very fine grained algorithm, it detects usage of individual bits within the Varnode, not just use of the Varnode itself. Each Varnode has a consumed word, which indicates if a bit in the Varnode is being used, and it has two flags layed out as follows:
- Varnode::lisconsume = varnode is in the working list
- Varnode::vacconsume = vacuously used bit there is a path from the varnode through assignment op outputs down to a varnode that is used
The algorithm works by back propagating the consumed value up from the output of the op to its inputs, starting with a set of seed Varnodes which are marked as completely used (function inputs, branch conditions, ...) For each propagation the particular op being passed through can transform the "bit usage" vector of the output to obtain the input.
Member Function Documentation
◆ apply()
|
virtual |
Make a single attempt to apply this Action.
This is the main entry point for applying changes to a function that are specific to this Action. The method can inspect whatever it wants to decide if the Action does or does not apply. Changes are indicated by incrementing the count field.
- Parameters
-
data is the function to inspect/modify
- Returns
- 0 for a complete application, -1 for a partial completion (due to breakpoint)
Implements Action.
◆ clone()
|
inlinevirtual |
The documentation for this class was generated from the following files:
- coreaction.hh
- coreaction.cc
