CodeQL library for C#
codeql/csharp-all 1.0.3-dev (changelog, source)
Search

Predicate SourceVariableImpl::variableDefinition

Holds if the ith node of basic block bb is assignable definition ad targeting source variable v.

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl
predicate variableDefinition(BasicBlock bb, int i, SourceVariable v, AssignableDefinition ad)