Module InstanceAccess

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

Import path

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 InstanceAccess that includes implicit accesses.

OwnInstanceAccess

An access to an object’s own instance.