Class PointsTo::CfgOrigin

Direct supertypes

Predicates

asCfgNodeOrHere

Get a ControlFlowNode from this or here. If this is a ControlFlowNode then use that, otherwise fall back on here

fix
toCfgNode
toString