Module Input

Import path

import semmle.go.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`.
decodeUnknownParameterPosition	Gets a parameter position corresponding to the unknown token `token`.
decodeUnknownReturn	Gets a return kind 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.
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.

Aliases

SummarizedCallableBase

A Function or a FuncLit. We do it this way because of limitations of both Function and FuncDef: - Function is an entity, and therefore does not include function literals, and - FuncDef is an AST node, and so is not extracted for functions from external libraries.