Module DefaultState
Provides default FlowState implementations given a StateConfigSig.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImpl
Predicates
Aliases
| FlowState |
The trivial type with a single element. |
Parameters
| Config | ConfigSig |