Module DataFlow :: FlowStateString
Provides FlowState = string.
Import path
import semmle.code.java.dataflow.DataFlow
Classes
| FlowStateEmpty |
The default state, which is used when the state is unspecified for a source or a sink. |
Aliases
| FlowState |
A state value to track during data flow. |