Module Input

Import path

import semmle.go.dataflow.internal.FlowSummaryImpl

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.

SinkBase	The trivial empty type.
SourceBase	The trivial empty type.
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.