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