CodeQL library for Python
codeql/python-all 0.11.3 (changelog, source)

Predicate Cached::stepNoCall

Gets the summary that corresponds to having taken a forwards heap and/or intra-procedural step from nodeFrom to nodeTo.

Steps contained in this predicate should not depend on the call graph.

Import path

predicate stepNoCall(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo, StepSummary summary)