CodeQL library for C#
Search

Module DefUse

Import path

import semmle.code.cil.DataFlow

Predicates

defUse

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

variableUpdateUse

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