Module TaintTracking2
Provides a TaintTracking2
module, which is a copy of the TaintTracking
module. Use this class when data-flow configurations or taint-tracking
configurations must depend on each other. Two classes extending
DataFlow::Configuration
should never depend on each other, but one of them
should instead depend on a DataFlow2::Configuration
, a
DataFlow3::Configuration
, or a DataFlow4::Configuration
. The
TaintTracking::Configuration
class extends DataFlow::Configuration
, and
TaintTracking2::Configuration
extends DataFlow2::Configuration
.
See semmle.code.cpp.dataflow.new.TaintTracking
for the full documentation.
Import path
import semmle.code.cpp.dataflow.new.TaintTracking2
Modules
TaintTracking2 | Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses. |