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

Member predicate TypeBackTracker::getACompatibleTypeTracker

Gets a forwards summary that is compatible with this backwards summary. That is, if this summary describes the steps needed to back-track a value from sink to mid, and the result is a valid summary of the steps needed to track a value from source to mid, then the value from source may also flow to sink.

TypeTracker getACompatibleTypeTracker()