Module DataFlowImplCommonPublic :: FlowStateString
Provides FlowState = string.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
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. |