Dacapo with calfuzzer

[monika dhok]

Hi,

 

I am trying to run 'dacapo-9.12-bach' with Calfuzzer framework (CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs). I followed this post 

https://code.google.com/p/tamiflex/wiki/DaCapoAndSoot

For xalan benchmark:

I first followed 0,1,2 steps.

For step3, I have specified "<property name="jvm_args"

                          value="-javaagent:${javato.home.dir}/lib/pia.jar"/>" in calfuzzer's run.xml

When I tried to  run calfuzzer using classpath as sootified/xalan-small folder it gave me following error :

analysis-once:

     [java] =======================================================

     [java] TamiFlex Play-In Agent Version 2.0.1

     [java] Loaded properties from /home/monika/.tamiflex/pia.properties

     [java] =======================================================

     [java] Analysis class javato.activetesting.FastTrackAnalysis

     [java] >>>>>>>>>Assigned0 <<<<<<<<<<<<<<<<<<<<

     [java] Using scaled threading model. 2 processors detected, 2 threads used to drive the workload, in a possible range of [1,100]

     [java] (Location of error unknown)java.io.FileNotFoundException: /home/monika/Desktop/05-03/src/javato/./scratch/xalan/xmlspec.xsl (No such file or directory)

     [java] Normal completion.

     [java] finish() with total of 0

     [java] 

     [java] =======================================================

     [java] TamiFlex Play-In Agent Vers===== DaCapo unknown xalan starting =====

     [java] 

     [java] Exception: java.lang.NullPointerException thrown from the UncaughtExceptionHandler in thread "Thread-2"

     [java] 

     [java] Exception: java.lang.NullPointerException thrown from the UncaughtExceptionHandler in thread "Thread-3"

     [java] ===== DaCapo unknown xalan PASSED in 4 msec =====

     [java] ion 2.0.1

     [java] Replaced 829 out of 1059 classes.

     [java] =======================================================

[stopwatch] [timer: 2.391 sec]

and when i did not include sootified/xalan-small in classpath it gave me following error: 

analysis-once:

     [java] =======================================================

     [java] TamiFlex Play-In Agent Version 2.0.1

     [java] Loaded properties from /home/monika/.tamiflex/pia.properties

     [java] =======================================================

     [java] Analysis class javato.activetesting.FastTrackAnalysis

     [java] >>>>>>>>>Assigned0 <<<<<<<<<<<<<<<<<<<<

     [java] Using scaled threading model. 2 processors detected, 2 threads used to drive the workload, in a possible range of [1,100]

     [java] java.lang.reflect.InvocationTargetException

     [java] java.lang.reflect.InvocationTargetException

     [java] at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)

     [java] at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:57)

     [java] at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)

     [java] at java.lang.reflect.Constructor.newInstance(Constructor.java:526)

     [java] at org.dacapo.harness.TestHarness.runBenchmark(TestHarness.java:211)

     [java] at org.dacapo.harness.TestHarness.main(TestHarness.java:171)

     [java] at Harness.main(Harness.java:17)

     [java] Caused by: java.lang.ClassNotFoundException: org.dacapo.xalan.XSLTBench

     [java] at java.net.URLClassLoader$1.run(URLClassLoader.java:366)

     [java] at java.net.URLClassLoader$1.run(URLClassLoader.java:355)

     [java] at java.security.AccessController.doPrivileged(Native Method)

     [java] at java.net.URLClassLoader.findClass(URLClassLoader.java:354)

     [java] at java.lang.ClassLoader.loadClass(ClassLoader.java:425)

     [java] at org.dacapo.harness.DacapoClassLoader.loadClass(DacapoClassLoader.java:127)

     [java] at java.lang.ClassLoader.loadClass(ClassLoader.java:358)

     [java] at java.lang.Class.forName0(Native Method)

     [java] at java.lang.Class.forName(Class.java:270)

     [java] at org.dacapo.harness.Xalan.<init>(Xalan.java:33)

     [java] ... 7 more

     [java] 

     [java] =======================================================

     [java] TamiFlex Play-In Agent Version 2.0.1

     [java] Replaced 632 out of 699 classes.

     [java] =======================================================

     [java] finish() with total of 0

     [java] Java Result: 255

[stopwatch] [timer: 2.243 sec]

[I have  specified inDir = ......./sootified/xalan-small in pia.properties]

Can you please help in figuring out the mistake that is causing this error?

-monika

[Eric Bodden]

Hi Monica.

Apologies about the late response. It seems that the program you are running is depending on the external input of the file xmlspec.xsl. I think you might have to copy this to the location indicated in the exception, i.e., to /home/monika/Desktop/05-03/src/javato/./scratch/xalan/xmlspec.xsl

I think that then it should work.

Eric

> --
> You received this message because you are subscribed to the Google Groups "tamiflex-discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tamiflex-discu...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.

[monika dhok]

Thanks for the reply. 

Also, I am facing one more issue when trying to run booster for replacing class files. 

I followed following procedure for avrora: 

java -javaagent:poa.jar -jar dacapo-9.12-bach.jar avrora -s small

java -jar booster-2.0.1.jar -p cg reflection-log:out/refl.log -cp out -main-class Main Main

This step gives following error : 

Exception in thread "main" java.lang.RuntimeException: <org.dacapo.harness.Avrora: void iterate(java.lang.String)>: incoherent stack height at block merge point Block 3:

[preds: 1 2 ] [succs: ]

return;

Block 2:

[preds: 0 ] [succs: 3 ]

load.r r1;

push null;

load.r $r3;

virtualinvoke <java.lang.reflect.Method: java.lang.Object invoke(java.lang.Object,java.lang.Object[])>;

pop;

computed blockHeight == 0 recorded blockHeight = 1

at soot.baf.JasminClass.calculateStackHeight(JasminClass.java:1898)

at soot.baf.JasminClass.calculateStackHeight(JasminClass.java:1903)

at soot.baf.JasminClass.emitMethodBody(JasminClass.java:321)

at soot.AbstractJasminClass.emitMethod(AbstractJasminClass.java:697)

at soot.AbstractJasminClass.<init>(AbstractJasminClass.java:576)

at soot.baf.JasminClass.<init>(JasminClass.java:91)

at soot.PackManager.writeClass(PackManager.java:893)

at soot.PackManager.writeOutput(PackManager.java:475)

at soot.PackManager.writeOutput(PackManager.java:400)

at soot.Main.run(Main.java:199)

at soot.Main.main(Main.java:141)

at de.bodden.tamiflex.booster.ReflInliner.main(ReflInliner.java:53)

Can you please help me in fixing this issue ? 

Thanks,

Monika

[monika dhok]

Hi,

I have attached jimple file of org.dacapo.harness.Avrora which has iterate method.

Monika Dhok

Indian Instititute of Science

On Tue, Mar 25, 2014 at 1:54 PM, Bodden, Eric <eric....@sit.fraunhofer.de> wrote:

Hi Monika.

When you add the arguments "-f J" to the code then Soot will issue the appropriate Jimple code. Can you show us the Jimple code for the iterate method?

Cheers,
Eric

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt