Module FlowExploration

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImpl2

Classes

PartialPathNode

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

Modules

PartialPathGraph

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