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

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)