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

Module SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Import path

import semmle.code.java.dataflow.FlowSummary

Imports

SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Predicates

arrayElementOf

Gets a stack representing ArrayElement of object.

elementOf

Gets a stack representing Element of object.

fieldOf

Gets a stack representing a field f of object.

mapValueOf

Gets a stack representing MapValue of object.

qualifier

Gets a singleton stack representing a qualifier.

return

Gets a singleton stack representing a (normal) return.