Module Cached
Import path
import semmle.code.java.dataflow.ExternalFlowPredicates
| barrierNode | Holds if |
| sinkNode | Holds if |
| sourceNode | Holds if |
import semmle.code.java.dataflow.ExternalFlow| barrierNode | Holds if |
| sinkNode | Holds if |
| sourceNode | Holds if |