Module DataFlow4
DEPRECATED: Use semmle.code.cpp.dataflow.new.DataFlow4
instead.
Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses.
Import path
import semmle.code.cpp.dataflow.DataFlow4
Imports
DataFlowImpl4 |
DEPRECATED: Use |