Module InstanceAccess

Provides classes and predicates for reasoning about explicit and implicit instance accesses.

Import path

import semmle.code.java.dataflow.InstanceAccess

java	Provides all default Java QL imports.

EnclosingInstanceAccess	An access to an enclosing instance.
InstanceAccessExt	A generalization of `InstanceAccess` that includes implicit accesses.
OwnInstanceAccess	An access to an object’s own instance.