Module TrackedVariablesImpl

Import path

import semmle.code.java.dataflow.SSA

Holds if f is a field that is interesting as a basis for SSA.

TrackedField
TrackedVar	The variables that form the basis of the non-trivial SSA construction. Fields that aren’t tracked get a trivial SSA construction (a definition prior to every read).