To verify if Booster has worked properly

[Aritra Sengupta]

Hi, 

     I have successfully used the play-out agent to dump the classes and get the reflection log for the DaCapo benchmarks. I ran Booster on the dumped classes to get the modified classes in the sootOutput folder using :

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

Is there an easy way to verify if Booster has worked properly based on the bytecode of the classes dumped in the sootOutput folder ? I have attached the classes for the pmd benchmark along with this post.

Thanks,

Aritra Sengupta

PhD Student.

Ohio State University.

[Eric Bodden]

Hi Aritra.

You can use javap to check out the bytecode to see if the necessary rewriting has been performed. But normally this should be unnecessary. Why do you ask?

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.
> <sootOutput.jar>



--
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

[Aritra Sengupta]

Hi Eric,

          I am trying to run a static data-race detector on the bytecode of any one benchmark in DaCapo specifying the Main class. The detector reports zero data-races. I need to figure if it's a reachability issue because of refelective calls not being resolved properly.

Thanks,
Aritra Sengupta
PhD Student.
Ohio State University.

--
You received this message because you are subscribed to a topic in the Google Groups "tamiflex-discuss" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tamiflex-discuss/jSqP13nH1to/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tamiflex-discu...@googlegroups.com.

[Eric Bodden]

Hello again.

Ondrej Lhotak has this call-graph comparison tool. It's available online. Maybe you could try that.

Eric