CodeQL library for Swift
codeql/swift-all 2.0.2 (changelog, source)
Search

Predicate MakeImpl::Impl::MkStage::Stage::nodeMayUseSummary

Holds if ap is recorded as the summary context for flow reaching node and remains relevant for the following pruning stage.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate nodeMayUseSummary(NodeEx n, FlowState state, Ap ap)