codeql/java-all
0.3.2
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if sink is a relevant taint sink accepting state.
sink
state
The smaller this predicate is, the faster hasFlow() will converge.
hasFlow()
predicate isSink(Node sink, FlowState state)