CodeQL library for Java/Kotlin
codeql/java-all 1.1.2-dev (changelog, source)
Search

Predicate TaintTracking::localAdditionalTaintStep

Holds if taint can flow in one local step from src to sink excluding local data flow steps. That is, src and sink are likely to represent different objects.

Import path

import semmle.code.java.dataflow.TaintTracking
predicate localAdditionalTaintStep(Node src, Node sink, string model)