CodeQL library for Go

codeql/go-all 7.1.0 (changelog, source)

Module SourceSinkInterpretationInput

Import path

import semmle.go.dataflow.internal.FlowSummaryImpl

Predicates

barrierElement	Holds if an external barrier specification exists for `n` with output specification `output` and kind `kind`.
barrierGuardElement	Holds if an external barrier guard specification exists for `n` with input specification `input`, accepting value `acceptingValue`, and kind `kind`.
interpretInput	Provides additional source specification logic.
interpretOutput	Provides additional sink specification logic.
sinkElement	Holds if an external sink specification exists for `e` with input specification `input`, kind `kind` and provenance `provenance`.
sourceElement	Holds if an external source specification exists for `e` with output specification `output`, kind `kind`, and provenance `provenance`.

Classes

InterpretNode	An entity used to interpret a source/sink specification.
SourceOrSinkElement	An element representable by CSV modeling.

Aliases

An element representable by CSV modeling.