CodeQL library for C#
codeql/csharp-all 1.0.3-dev (changelog, source)
Search

Module DataFlowMake::MergePathGraph3

Constructs a PathGraph from three PathGraphs by disjoint union.

Import path

import codeql.dataflow.DataFlow

Classes

PathNode

A node in a graph of path explanations that is formed by disjoint union of the three given graphs.

Modules

PathGraph

Provides the query predicates needed to include a graph in a path-problem query.

Parameters