CodeQL library for Go
codeql/go-all 0.7.15-dev (changelog, source)
Search

Module SourceSinkInterpretationInput

Import path

import semmle.go.dataflow.internal.FlowSummaryImpl

Predicates

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

Element

An element representable by CSV modeling.