Module signature PathGraphSigMod::PathGraphSig
Import path
import codeql.dataflow.DataFlow
Predicates
edges | Holds if |
nodes | Holds if |
subpaths | Holds if |
Parameters
PathNode | TypeWithToString |
import codeql.dataflow.DataFlow
edges | Holds if |
nodes | Holds if |
subpaths | Holds if |
PathNode | TypeWithToString |