CodeQL library for Java
codeql/java-all 0.4.0-dev (changelog, source)
Search

Module DataFlowImplCommonPublic

Import path

import semmle.code.java.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().

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.