CS 6013 - Modern Compilers, Theory and Practice

Assignment 5: MHP Analysis

This assignment is the fourth part of a multi part project to write an optimizing compiler for Minijava. Our goal is to do MHP analysis of pTACoJava 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 P5.java, if P5.java contains a program to be analyzed in pTACoJava form, then

java P5 < P.java

should print a series of "Yes" or "No" (each in a new line) corresponding to each query in P5.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 MHP queries.

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