CodeQL library for Java/Kotlin

codeql/java-all 5.0.1-dev (changelog, source)

Module signature InputSig

Provides language-specific parameters.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Predicates

callbackSelfParameterPosition	Gets the parameter position representing a callback itself, if any.
decodeUnknownArgumentPosition	Gets an argument position corresponding to the unknown token `token`.
decodeUnknownContent	Gets a content corresponding to the unknown token `token`.
decodeUnknownParameterPosition	Gets a parameter position corresponding to the unknown token `token`.
decodeUnknownReturn	Gets a return kind corresponding to the unknown token `token`.
decodeUnknownWithContent	Gets a with-content corresponding to the unknown token `token`.
decodeUnknownWithoutContent	Gets a without-content corresponding to the unknown token `token`.
encodeArgumentPosition	Gets the textual representation of argument position `pos` used in MaD.
encodeContent	Gets the textual representation of content `c` used in MaD.
encodeParameterPosition	Gets the textual representation of parameter position `pos` used in MaD.
encodeReturn	Gets the textual representation of return kind `rk` used in MaD.
encodeWithContent	Gets the textual representation of with-content `c` used in MaD.
encodeWithoutContent	Gets the textual representation of without-content `c` used in MaD.
getStandardReturnValueKind	Gets the return kind corresponding to specification `"ReturnValue"`.
neutralElement	Holds if a neutral (MaD) model exists for `c` of kind `kind` with provenance `provenance` and `isExact` is true if the model signature matches `c` exactly - otherwise false.

Types

SummarizedCallableBase

A base class of callables that are candidates for flow summary modeling.

Parameters

Location		LocationSig
Lang		InputSig<FlowSummaryImpl::InputSig::Location>