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