A jump-table starting range with two possible execution paths. More...
#include <jumptable.hh>
Inheritance diagram for JumpValuesRangeDefault:
Collaboration diagram for JumpValuesRangeDefault:
Public Member Functions | |
| virtual uintb | getSize (void) const |
| Return the number of values the variables can take. | |
| virtual bool | contains (uintb val) const |
| Return true if the given value is in the set of possible values. | |
| virtual bool | initializeForReading (void) const |
| Initialize this for iterating over the set of possible values. More... | |
| virtual bool | next (void) const |
| Advance the iterator, return true if there is another value. | |
| virtual Varnode * | getStartVarnode (void) const |
| Get the Varnode associated with the current value. | |
| virtual PcodeOp * | getStartOp (void) const |
| Get the PcodeOp associated with the current value. | |
| virtual bool | isReversible (void) const |
| Return true if the current value can be reversed to get a label. | |
| virtual JumpValues * | clone (void) const |
| Clone this iterator. | |
 Public Member Functions inherited from JumpValuesRange | |
| virtual void | truncate (int4 nm) |
| virtual uintb | getValue (void) const |
| Get the current value. | |
Additional Inherited Members | |
| Protected Attributes inherited from JumpValuesRange | |
| CircleRange | range |
| Acceptable range of values for the normalized switch variable. | |
| Varnode * | normqvn |
| Varnode representing the normalized switch variable. | |
| PcodeOp * | startop |
| First PcodeOp in the jump-table calculation. | |
| uintb | curval |
| The current value pointed to be the iterator. | |
Detailed Description
A jump-table starting range with two possible execution paths.
This extends the basic JumpValuesRange having a single entry switch variable and adds a second entry point that takes only a single value. This value comes last in the iteration.
Member Function Documentation
◆ initializeForReading()
|
virtual |
Initialize this for iterating over the set of possible values.
- Returns
- true if there are any values to iterate over
Reimplemented from JumpValuesRange.
The documentation for this class was generated from the following files:
- jumptable.hh
- jumptable.cc
