CodeQL library for Rust
codeql/rust-all 0.1.13 (changelog, source)
Search

Module FlowSink

Provides classes and predicates for defining flow sinks.

Flow sinks defined here feed into data flow configurations as follows:

data from *.model.yml | QL extensions of FlowSink::Range
 v                       v
FlowSink (associated with a models-as-data kind string)
 v
sinkNode predicate | other QL defined sinks, for example using concepts
 v                    v
various Sink classes for specific data flow configurations <- extending QuerySink

New sinks should be defined using models-as-data, QL extensions of FlowSink::Range, or concepts. Data flow configurations should use the sinkNode predicate and/or concepts to define their sinks.

Import path

import codeql.rust.dataflow.FlowSink

Modules

FlowSink

Provides the Range class used to define the extent of FlowSink.

Aliases

FlowSink

A flow sink.

sinkNode

Holds if n is a flow sink of kind kind.