Query module UseWithoutUniqueSsaVariable

name
A variable use without a unique SSA variable
description
Every variable use that is sufficiently trackable should have a unique associated SSA variable.
kind
problem
problem.severity
error
id
java/sanity/use-without-unique-ssa-variable
tags
sanity

Imports

SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

java

Provides all default Java QL imports.

Predicates

Classes