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.FlowSummaryImplPredicates
| 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 |