Module DefUse
Import path
import semmle.code.cil.DataFlow
Predicates
defUse | Holds if the update |
variableUpdateUse | Holds if the variable update |
import semmle.code.cil.DataFlow
defUse | Holds if the update |
variableUpdateUse | Holds if the variable update |