Member predicate DataFlow::TypeTracker::step
Gets the summary that corresponds to having taken a forwards
heap and/or inter-procedural step from pred
to succ
.
TypeTracker step(SourceNode pred, SourceNode succ)
Gets the summary that corresponds to having taken a forwards
heap and/or inter-procedural step from pred
to succ
.
TypeTracker step(SourceNode pred, SourceNode succ)