CodeQL library for Java/Kotlin

codeql/java-all 0.10.0 (changelog, source)

Module MakeImpl::Impl

Constructs a data flow computation given a full input configuration.

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates

flow	Holds if data can flow from `source` to `sink`.
flowPath	Holds if data can flow from `source` to `sink`.
flowTo	Holds if data can flow from some source to `sink`.
flowToExpr	Holds if data can flow from some source to `sink`.
stageStats	INTERNAL: Only for debugging.

Classes

Ap	Conceptually a list of `Content`s where nested tails are also paired with a `DataFlowType`, but only the first two elements of the list and its length are tracked. If data flows from a source to a given node with a given `AccessPathApprox`, this indicates the sequence of dereference operations needed to get from the value in the node to the tracked object. The `DataFlowType`s indicate the types of the stored values.
ApNil
ApOption
PathNode	A `Node` augmented with a call context (except for sinks) and an access path. Only those `PathNode`s that are reachable from a source, and which can reach a sink, are generated.

Modules

FlowExplorationFwd
FlowExplorationRev
PathGraph	Provides the query predicates needed to include a graph in a path-problem query.

Aliases

hasFlow	DEPRECATED: Use `flow` instead.
hasFlowPath	DEPRECATED: Use `flowPath` instead.
hasFlowTo	DEPRECATED: Use `flowTo` instead.
hasFlowToExpr	DEPRECATED: Use `flowToExpr` instead.

Parameters

Config

FullStateConfigSig