CodeQL library for C/C++
codeql/cpp-all 0.7.1 ( changelog , source )

Predicate signature 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.ssa.Ssa
signature predicate variableWrite ( BasicBlock bb , int i , SourceVariable v , boolean certain )