Module TaintTracking
DEPRECATED: Use semmle.code.cpp.dataflow.new.TaintTracking
instead.
Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.
Import path
import semmle.code.cpp.dataflow.TaintTracking
Imports
TaintFlowMake<Location::Location, DataFlowImplSpecific::CppOldDataFlow, TaintTrackingImplSpecific::CppOldTaintTracking> | Construct the modules for taint-tracking analyses. |
TaintTrackingUtil | DEPRECATED: Use |