Module InstanceAccess
Provides classes and predicates for reasoning about explicit and implicit instance accesses.
Import path
import semmle.code.java.dataflow.InstanceAccess
Imports
java |
Provides all default Java QL imports. |
Classes
EnclosingInstanceAccess |
An access to an enclosing instance. |
InstanceAccessExt |
A generalization of |
OwnInstanceAccess |
An access to an object’s own instance. |