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

Module Impl

Constructs a data flow computation given a full input configuration.

Import path

import semmle.code.java.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 TypedContents followed by 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 final type indicates the type of the tracked object.

ApNil
ApOption
PathNode

A Node augmented with a call context (except for sinks) and an access path. Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.

Modules

FlowExploration
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