Provides the query predicates needed to include a graph in a path-problem query.
Import path
import semmle.code.java.dataflow.DataFlow
Predicates
edges | Holds if |
nodes | Holds if |
subpaths | Holds if |
Provides the query predicates needed to include a graph in a path-problem query.
import semmle.code.java.dataflow.DataFlow
edges | Holds if |
nodes | Holds if |
subpaths | Holds if |