Member predicate TypeBackTracker::step
Gets the summary that corresponds to having taken a backwards
heap and/or inter-procedural step from nodeTo
to nodeFrom
.
TypeBackTracker step(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo)
Gets the summary that corresponds to having taken a backwards
heap and/or inter-procedural step from nodeTo
to nodeFrom
.
TypeBackTracker step(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo)