qtil
advanced-security/qtil-go 0.0.3
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.