Module DataFlow

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

Import path

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