For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

DefUse

Module DefUse

Provides classes and predicates for def-use and use-use pairs. Built on top of the SSA library for maximal precision.


                                import semmle.code.java.dataflow.DefUse

java	Provides all default Java QL imports.

defUsePair	Holds if there exists a path from `def` to `use` without passing through another `VariableUpdate` of the `LocalScopeVariable` that they both refer to.
parameterDefUsePair	Holds if there exists a path from the entry-point of the callable to `use` without passing through a `VariableUpdate` of the parameter `p` that `use` refers to.
useUsePair	Holds if `use1` and `use2` form a use-use-pair of the same `SsaSourceVariable`, that is, the value read in `use1` can reach `use2` without passing through any SSA definition of the variable except for phi nodes and uncertain implicit updates.
useUsePairSameVar	Holds if `use1` and `use2` form a use-use-pair of the same SSA variable, that is, the value read in `use1` can reach `use2` without passing through any SSA definition of the variable.