|
decompiler 1.0.0
|
Description of a point in control-flow where a Varnode can propagate as a constant down a conditional branch. More...
Public Member Functions | |
| ConstPoint (Varnode *v, Varnode *c, FlowBlock *bl, int4 slot, bool isDom) | |
| Construct from constant Varnode. | |
| ConstPoint (Varnode *v, uintb val, FlowBlock *bl, int4 slot, bool isDom) | |
| Construct from constant value. | |
Public Attributes | |
| Varnode * | vn |
| Varnode that is constant for some reads. | |
| Varnode * | constVn |
| Representative of the constant (may be null) | |
| uintb | value |
| The constant value. | |
| FlowBlock * | constBlock |
| Block that dominates all reads where vn is constant. | |
| int4 | inSlot |
| Input edge from condition block. | |
| bool | blockIsDom |
| Is true if block is dominated by constant path. | |
Description of a point in control-flow where a Varnode can propagate as a constant down a conditional branch.