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 |
isSourceNode | Holds if |
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
SourceSinkInterpretationInput | SourceSinkInterpretationInputSig |