CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.0.3-dev (changelog, source)
Search

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)