CodeQL library for Java/Kotlin
codeql/java-all 0.8.12 (changelog, source)
Search

Module TrackedVariablesImpl

Import path

import semmle.code.java.dataflow.SSA

Predicates

trackField

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

Classes

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).