Module DataFlowMake::DeduplicatePathGraph
Generates a PathGraph in which equivalent path nodes are merged, in order to avoid duplicate paths.
Import path
import codeql.dataflow.DataFlowImports
| PathGraph | Provides the query predicates needed to include a graph in a path-problem query. |
Classes
| PathNode | A node in the path graph after equivalent nodes have been collapsed. |
Modules
| PathGraph | Provides the query predicates needed to include a graph in a path-problem query. |