Module FlowExploration

Import path

import semmle.python.dataflow.new.internal.DataFlowImpl

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.