CodeQL library for C#
codeql/csharp-all 0.8.3 (changelog, source)

Module 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.

Import path

import semmle.code.csharp.dataflow.internal.tainttracking1.TaintTrackingImpl




A configuration of interprocedural taint tracking analysis. This defines sources, sinks, and any other configurable aspect of the analysis. Each use of the taint tracking library must define its own unique extension of this abstract class.