CodeQL library for C#
Search

Predicate DefUse::variableUpdateUse

Holds if the variable update vu can be used at the read use.

Import path

import semmle.code.cil.DataFlow
predicate variableUpdateUse(StackVariable target, VariableUpdate vu, ReadAccess use)