[Soot-list] Instrumenting JRE classes using Soot

[Eric Bodden]

Hello Sai.

Have you looked at TamiFlex? http://tamiflex.googlecode.com/

Tamiflex is a pair of Java agents, a "play-out agent" and a "play-in
agent". The latter can be used to replace classes that the VM is about
to load with (e.g. sootified) classes from a given directory. You can
also use it to replace classes from the JRE. The beauty of this is
that you can leave rt.jar untouched.

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 21 April 2010 19:31, Sai Zhang <racezhang at gmail.com> wrote:
>
> Hi all:
>
> For some reason, I need to instrument some jre classes (residing in rt.jar)
> for doing
> dynamic analysis using Soot. It is a pretty simple analysis, and will never
> touch
> some "dangerous" classes like java.lang.Object, java.lang.Class. etc. I can
> foresee that
> all classes I need to instrument are inside java.util package.
>
> For instance, what I am doing is to add "profiling code" before and after
> each method call like:
>
> java.util.Vector..
>
> int size() {
>     Tracer.startCall("size()");
>
>     //the method body
>
>     Tracer.endCall("size()");
> }
>
> //Tracer is a simple class to keep track of traces
>
>
> Implementing such analysis is not hard, but I am wondering is there any
> convenient way to
> "deploy" such  changes. Normally, we unzip the rt.jar, do instrumentation,
> and get a set of instrumented classes.
> We can either:
> (1) pack the instrumented classes into the rt.jar (but that could be a bit
> problematic, at least on
> my laptop. an exception is thrown when initializing the JVM, it can not find
> the class Tracer!!!)
> (2) reset the BootClasspath to point to the instrumented classes dir.
>
> For me, only (2) works! I am curious what is the best practice to use Soot
> for jre class instrumentation?
>
> thanks
>
>
> --Sai Zhang
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>