ROSE
0.11.123.0
|
Basic block successor.
Definition at line 106 of file BasicBlock.h.
#include <Rose/BinaryAnalysis/Partitioner2/BasicBlock.h>
Public Member Functions | |
BasicBlockSuccessor (const Semantics::SValuePtr &expr, EdgeType type=E_NORMAL, Confidence confidence=ASSUMED) | |
const Semantics::SValuePtr & | expr () const |
Symbolic expression for the successor address. More... | |
EdgeType | type () const |
Type of successor. More... | |
void | type (EdgeType t) |
Confidence | confidence () const |
Confidence level of this successor. More... | |
void | confidence (Confidence c) |
Confidence level of this successor. More... | |
|
inline |
Symbolic expression for the successor address.
Definition at line 134 of file BasicBlock.h.
|
inline |
Type of successor.
Definition at line 137 of file BasicBlock.h.
|
inline |
Confidence level of this successor.
Did we prove that this is a successor, or only assume it is?
Definition at line 143 of file BasicBlock.h.
|
inline |
Confidence level of this successor.
Did we prove that this is a successor, or only assume it is?
Definition at line 144 of file BasicBlock.h.