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