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.DataFlow3Imports
| 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. |