CodeQL library for JavaScript
Search

Member predicate DataFlow::TypeBackTracker::step

Gets the summary that corresponds to having taken a backwards heap and/or inter-procedural step from succ to pred.

TypeBackTracker step(SourceNode pred, SourceNode succ)