(Karim Ali provides the benchmarks on his website, who is the author of "Averroes: Whole-Program Analysis without the Whole Program")
http://plg.uwaterloo.ca/~karim/projects/averroes/tutorial.php
http://plg.uwaterloo.ca/~karim/projects/averroes/tutorial.php
Set JDK path as below:
C:/Program Files/Java/jdk1.7.0/jre/lib/rt.jar;C:/Program Files/Java/jdk1.7.0/jre/lib/jce.jar;C:/Program Files/Java/jdk1.7.0/jre/lib/jsse.jar;
2.2 Modify the properties in the files under the directory "properties" and "properties/averroes" according to your environment
appJarPath
benchmarkDir
libDir
tamiflexLog
ant -buildfile run-PtaPCG.xml