CodeQL library for Swift

codeql/swift-all 3.0.1-dev (changelog, source)

Module DataFlowPublic

Import path

import codeql.swift.dataflow.internal.DataFlowPublic

Predicates

exprNode	Gets a node corresponding to expression `e`.
localExprFlow	Holds if data can flow from `e1` to `e2` in zero or more local (intra-procedural) steps.
localFlow	Holds if data flows from `source` to `sink` in zero or more local (intra-procedural) steps.
parameterNode	Gets the node corresponding to the value of parameter `p` at function entry.

Classes

CaptureNode	A synthesized data flow node representing a closure object that tracks captured variables.
Content	A reference contained in an object.
ContentSet	An entity that represents a set of `Content`s.
ExprNode	An expression, viewed as a node in a data flow graph.
InoutReturnNode
Node	An element, viewed as a node in a data flow graph. Either an expression (`ExprNode`) or a parameter (`ParameterNode`).
ParameterNode	The value of a parameter at function entry, viewed as a node in a data flow graph.
PatternNode	A pattern, viewed as a node in a data flow graph.
PostUpdateNode	A node associated with an object after an operation that might have changed its state.
SsaDefinitionNode	A node in the data flow graph which corresponds to an SSA variable definition.

Modules

Aliases

Holds if data flows from nodeFrom to nodeTo in exactly one local (intra-procedural) step.