CodeQL library for C/C++

codeql/cpp-all 3.0.1-dev (changelog, source)

Module MakeImplCommon::DataFlowImplCommonPublic

Import path

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

Modules

FlowStateString	DEPRECATED: Generally, a custom `FlowState` type should be used instead, but `string` can of course still be used without referring to this module.
SimpleGlobal	EXPERIMENTAL: This API is subject to change without notice.

Predicate signatures

Holds if source is a relevant data flow source.