CodeQL library for C/C++
codeql/cpp-all 0.9.2 ( changelog , source )
Search

Module DataFlowImpl3

DEPRECATED: Use Global and GlobalWithState instead.

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

Import path

import semmle.code.cpp.dataflow.internal.DataFlowImpl3

Imports

Classes

Configuration

A configuration of interprocedural data flow analysis. This defines sources, sinks, and any other configurable aspect of the analysis. Each use of the global data flow library must define its own unique extension of this abstract class. To create a configuration, extend this class with a subclass whose characteristic predicate is a unique singleton string. For example, write

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