CodeQL library for C#
Search

Predicate DefUse::defUse

Holds if the update def can be used at the read use.

Import path

import semmle.code.cil.DataFlow
predicate defUse(StackVariable target, Expr def, ReadAccess use)