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