CodeQL library for C/C++
codeql/cpp-all 3.0.1-dev (changelog, source)
Search

Module Make::Private::External::SourceSinkInterpretation

Legacy interface for interpreting source/sink specifications in static languages.

Should eventually be replaced with API graphs like in dynamic languages.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Predicates

isSinkNode

Holds if node is specified as a sink with the given kind in a MaD flow model.

isSourceNode

Holds if node is specified as a source with the given kind in a MaD flow model.

Modules

TestSourceSinkOutput

Provides query predicates for outputting a set of relevant sources and sinks.

Predicate signatures

Type signatures

RelevantSourceOrSinkElementSig

A source or sink relevant for testing.

Aliases

SinkModelCallable

A callable that has a sink model.

SourceModelCallable

A callable that has a source model.

Parameters

SourceSinkInterpretationInputSourceSinkInterpretationInputSig