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

Module DataFlow3

Provides a DataFlow3 module, which is a copy of the DataFlow module. Use this class when data-flow configurations must depend on each other. Two classes extending DataFlow::Configuration should never depend on each other, but one of them should instead depend on a DataFlow2::Configuration, a DataFlow3::Configuration, or a DataFlow4::Configuration.

See semmle.code.cpp.dataflow.new.DataFlow for the full documentation.

Import path

import semmle.code.cpp.dataflow.new.DataFlow3

Imports

cpp

Provides classes and predicates for working with C/C++ code.

Modules

DataFlow3

Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses.