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

Predicate Flow::CaptureSsaInput::variableWrite

Holds if the ith node of basic block bb is a (potential) write to source variable v. The Boolean certain indicates whether the write is certain.

Examples of uncertain writes are ref arguments in C#, where it is the callee that may or may not update the argument.

Import path

import codeql.dataflow.VariableCapture
predicate variableWrite(BasicBlock bb, int i, SourceVariable cc, boolean certain)