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

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.csharp.dataflow.internal.DataFlowImpl1

Imports

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

Classes

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 PathNodes that are reachable from a source, and which can reach a sink, are generated.

Aliases

PathGraph

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

flowsTo