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

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

Public

Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.

TaintFlowMake<DataFlowImplSpecific::CppOldDataFlow, TaintTrackingImplSpecific::CppOldTaintTracking>

Construct the modules for taint-tracking analyses.

TaintTrackingImpl

Provides an implementation of global (interprocedural) taint tracking. This file re-exports the local (intraprocedural) taint-tracking analysis from TaintTrackingParameter::Public and adds a global analysis, mainly exposed through the Configuration class. For some languages, this file exists in several identical copies, allowing queries to use multiple Configuration classes that depend on each other without introducing mutual recursion among those configurations.