CodeQL library for C/C++
codeql/cpp-all 2.1.1-dev (changelog, source)
Search

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.