CodeQL library for Java
codeql/java-all 0.3.3 (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

fieldOf

Gets a stack representing a field f of object.

qualifier

Gets a singleton stack representing a qualifier.

return

Gets a singleton stack representing a (normal) return.