Module DataFlowImpl1

DEPRECATED: Use Global and GlobalWithState instead.

Provides a Configuration class backwards-compatible interface to the data flow library.

Import path

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

DataFlowImplCommonPublic
FlowStateString	DEPRECATED: Generally, a custom `FlowState` type should be used instead, but `string` can of course still be used without referring to this module.
Public

Configuration	DEPRECATED: Use `Global` and `GlobalWithState` instead.
PathNode	A `Node` augmented with a call context (except for sinks), an access path, and a configuration. Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.

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