CS 6013 - Modern Compilers, Theory and Practice

Assignment 6: Alias Analysis

This assignment is the fourth part of a multi part project to write an optimizing compiler for Minijava. Our goal is to do alias analysis of qTACoJava programs.

Use JTB and JavaCC, to write in Java one or more visitors which implement intra-procedural flow sensitive may alias analysis. Your main file should be called P6.java, if P.java contains a program to be analyzed in qTACoJava form, then

java P6 < P.java

should print a series of "Yes" or "No" (each in a new line) corresponding to each query in P.java. Note, your program must take input program from standard input (the alias queries are part of the input) and write to standard output (so that we can use redirection). The order of your answers should match the program order of the alias queries.

Grading policy
Your homework will be graded for a total of 100 marks.