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

Module DataFlowUtil

Basic definitions for use in the data flow library.

Import path

import semmle.code.java.dataflow.internal.DataFlowUtil

Imports

Cached
Public
Unit

Provides the Unit class.

Predicates

hasNonlocalValue

Holds if the FieldRead is not completely determined by explicit SSA updates.

localExprFlow

Holds if data can flow from e1 to e2 in zero or more local (intra-procedural) steps.

localFlow

Holds if data can flow from node1 to node2 in zero or more local (intra-procedural) steps.

Classes

ArrayContent

A reference through an array.

BarrierGuard

DEPRECATED: Use BarrierGuard module instead.

CollectionContent

A reference through the contents of some collection-like container.

Content

A description of the way data may be stored inside an object. Examples include instance fields, the contents of a collection object, or the contents of an array.

ContentSet

An entity that represents a set of Contents.

FieldContent

A reference through an instance field.

MapKeyContent

A reference through a map key.

MapValueContent

A reference through a map value.

SyntheticFieldContent

A reference through a synthetic instance field.

Modules

BarrierGuard

Provides a set of barrier nodes for a guard that validates an expression.

Predicate signatures

guardChecksSig

Holds if the guard g validates the expression e upon evaluating to branch.