Alias Analysis for Java Programs

The goal of this thesis is to develop foundations for alias analyses in our OPAL static analysis framework.

Alias analyses reason about whether two locations such as local variables, method parameters, or fields, may, may not, or must refer to the same object(s). They are the foundation for many advanced static analyses.

The thesis should design lattices that describe alias information and develop first alias analyses. Further, the thesis should look into applications of alias analyses within OPAL.