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