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.