Module DefUse

Import path

import semmle.code.cil.DataFlow

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`.