Module DataFlowImplCommonPublic

Import path


                                import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon

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 `Configuration::getAFeature()`.

Provides FlowState = string.