Say P.java is the input Java file and the queries are in the file Q1.txt.

# Instructions on how to build the assignment will come here.

javac P.java # will create P.class
java -Dtest.file="Q1.txt" A1 P.class

Inside A1.java you can read the test file property value by invoking -- System.getProperty("test.file")

For Alias analysis each entry in Q1.txt will be of the form:

<classname>:<methodname>:<identifier> alias? <identifier>

You should answer if the given identifiers are may-aliases at the end of the method.

For Escape analysis each entry in Q1.txt will be of the form:

<classname>:<methodname>

indicating if the synchronization construct in the method be eliminated. For MHP Analysis + Data-races each entry in Q1.txt will be of the form:

<varName>:<fieldName>

indicating if the access to the field can lead to a data-race.