CodeQL library for Java
codeql/java-all 0.5.5 ( changelog , source )

Member predicate TypeTracking :: 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 ( )