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

Predicate Cached::optionalStep

A step in a flow summary defined using OptionalStep[name]. An OptionalStep is “opt-in”, which means that by default the step is not present in the flow summary and needs to be explicitly enabled by defining an additional flow step.

Import path

import codeql.rust.dataflow.internal.DataFlowImpl
predicate optionalStep(Node node1, string name, Node node2)