CodeQL library for Java/Kotlin

codeql/java-all 9.0.2 (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.
FeatureEscapesSourceCallContext	A flow configuration feature that implies that the sink must be reached from the source by escaping the source call context, that is, flow must either return from the callable containing the source or use a jump-step before reaching the sink.
FeatureEscapesSourceCallContextOrEqualSourceSinkCallContext	A flow configuration feature that is the disjunction of `FeatureEscapesSourceCallContext` and `FeatureEqualSourceSinkCallContext`.
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.