Class TrackedVariablesImpl :: 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).
Import path
import semmle.code.java.dataflow.SSA
Direct supertypes
Indirect supertypes
Known direct subtypes
Inherited predicates
getAnAccess |
Gets an access of this |
from SsaSourceVariable |
getAnSsaVariable |
Gets an SSA variable that has this variable as its underlying source variable. |
from SsaSourceVariable |
getEnclosingCallable |
Gets the |
from SsaSourceVariable |
getLocation |
Gets the source location for this element. |
from SsaSourceVariable |
getQualifier |
Gets the qualifier, if any. |
from SsaSourceVariable |
getType |
Gets the type of this variable. |
from SsaSourceVariable |
getVariable |
Gets the variable corresponding to this |
from SsaSourceVariable |
toString |
Gets a textual representation of this |
from SsaSourceVariable |