Member predicate Configuration::getAFeature

Gets a data flow configuration feature to add restrictions to the set of valid flow paths.

• FeatureHasSourceCallContext: Assume that sources have some existing call context to disallow conflicting return-flow directly following the source.
• FeatureHasSinkCallContext: Assume that sinks have some existing call context to disallow conflicting argument-to-parameter flow directly preceding the sink.
• FeatureEqualSourceSinkCallContext: Implies both of the above and additionally ensures that the entire flow path preserves the call context.