Module DataFlow
Provides a collection of building blocks and utilities for data flow.
Import path
import semmle.code.cil.DataFlowClasses
| DataFlowNode | A node in the data flow graph. |
| VariableUpdate | A node that updates a variable. |
Provides a collection of building blocks and utilities for data flow.
import semmle.code.cil.DataFlow| DataFlowNode | A node in the data flow graph. |
| VariableUpdate | A node that updates a variable. |