Module DataFlowImplCommonPublic
Import path
import semmle.python.dataflow.new.internal.DataFlowImplCommon
Classes
FeatureEqualSourceSinkCallContext | A flow configuration feature that implies that source-sink pairs have some shared existing call context. |
FeatureHasSinkCallContext | A flow configuration feature that implies that sinks have some existing call context. |
FeatureHasSourceCallContext | A flow configuration feature that implies that sources have some existing call context. |
FlowFeature | A flow configuration feature for use in |
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. |