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

Module MakeImpl::Impl::MkStage::Stage::Graph::Public

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates

flowPath

Holds if data can flow from source to sink.

Classes

PathNode

A Node augmented with a call context (except for sinks) and an access path. Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.

Modules

PathGraph

Provides the query predicates needed to include a graph in a path-problem query.