public interface CfaEdge<CfaNodeT extends CfaNode>
Cfa parametrized by its nodes CfaNodeT.
A CFA edge corresponds to instructions between the offsets of its target and source.| Modifier and Type | Method and Description |
|---|---|
CfaNodeT |
getSource()
Returns its source node.
|
CfaNodeT |
getTarget()
Returns its target node.
|