Module DataFlow
DEPRECATED: Use semmle.code.cpp.dataflow.new.DataFlow
instead.
Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses.
Import path
import semmle.code.cpp.dataflow.DataFlow
Imports
DataFlowImpl1 | DEPRECATED: Use |
DataFlowMake<Location::Location, DataFlowImplSpecific::CppOldDataFlow> |