Our goal is to do MHP analysis of QParJava programs.
Use JTB and JavaCC, to write in Java one or more visitors which
implement flow-sensitive MHP analysis.
Your main file should be called A2.java,
if P.java contains a program to be analyzed in qParJava form, then
java A2 < 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.