Module DefUse
Provides classes and predicates for def-use and use-use pairs. Built on top of the SSA library for maximal precision.
Import path
import semmle.code.java.dataflow.DefUse
Imports
java |
Provides all default Java QL imports. |
Predicates
defUsePair |
Holds if there exists a path from |
parameterDefUsePair |
Holds if there exists a path from the entry-point of the callable to |
useUsePair |
Holds if |
useUsePairSameVar |
Holds if |