Predicate signature withoutContentStep
Holds if type-tracking should step from nodeFrom
to nodeTo
but block
flow of contents matched by filter
.
Import path
import codeql.typetracking.TypeTracking
signature predicate withoutContentStep(Node nodeFrom, LocalSourceNode nodeTo, ContentFilter filter)