Module FlowExploration

Import path

import semmle.code.csharp.dataflow.internal.DataFlowImpl3

A Node augmented with a call context, an access path, and a configuration.

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