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

Predicate Cached::optionalBarrier

A step in a flow summary defined using OptionalBarrier[name]. An OptionalBarrier is “opt-out”, by default data can flow freely through the step. Flow through the step can be explicity blocked by defining its node as a barrier.

Import path

import codeql.rust.dataflow.internal.DataFlowImpl
predicate optionalBarrier(Node node, string name)