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

Module TaintTrackingPublic

Import path

import semmle.code.csharp.dataflow.internal.TaintTrackingPublic

Predicates

localExprTaint

Holds if taint can flow from e1 to e2 in zero or more local (intra-procedural) steps.

localTaint

Holds if taint propagates from source to sink in zero or more local (intra-procedural) steps.

Classes

TaintedMember

A member (property or field) that is tainted if its containing object is tainted.

Aliases

localTaintStep

Holds if taint propagates from nodeFrom to nodeTo in exactly one local (intra-procedural) step.