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

Module MakeImpl::Impl::Stage1

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates

callEdgeArgParam
callEdgeReturn
callMayFlowThroughRev
parameterMayFlowThrough

Holds if flow may enter through p and reach a return node making p a candidate for the origin of a summary.

readStepCand
relevantCallEdgeIn
relevantCallEdgeOut
returnMayFlowThrough
revFlow
revFlow

Holds if node is part of a path from a source to a sink.

revFlow
revFlowAp
revFlowIsReadAndStored

Holds if c is the target of both a read and a store in the flow covered by revFlow.

revFlowState
sinkNode
stats
storeStepCand
viableParamArgNodeCandFwd1
viableReturnPosOutNodeCandFwd1

Aliases

Ap

The trivial type with a single element.

ApNil

The trivial type with a single element.