CodeQL library for C#
Search

Module DataFlow

Provides a collection of building blocks and utilities for data flow.

Import path

import semmle.code.cil.DataFlow

Classes

DataFlowNode

A node in the data flow graph.

TaintType

Describes how data is tainted.

Tainted

A taint type where the data is tainted.

Untainted

A taint type where the data is untainted.

VariableUpdate

A node that updates a variable.

Modules