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

Module TaintTracking

Import path

import csharp

Imports

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

Configuration

DEPRECATED: Use Global and GlobalWithState instead.

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.