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

Predicate Private::Steps::summaryGetterStep

Holds if there is a read(+taint) of c from arg to out using a flow summary.

NOTE: This step should not be used in global data-flow/taint-tracking, but may be useful to include in the exposed local data-flow/taint-tracking relations.

Import path

import semmle.code.java.dataflow.internal.FlowSummaryImpl
predicate summaryGetterStep(ArgNode arg, ContentSet c, Node out, SummarizedCallable sc)