[Soot-list] How to obtain the topological graph in the transactional transformation phase (wjtp.tn)?

[Marco Bakera]

Thanks for that fast help. That's a commandline that looks more like Soot. ;)

Is it possible to obtain the generated graph directly by using Soot's API? I 
would like to process this graph further in my Java application.


Thanks for help and greetings from Germany,
Marco.

On Friday 07 November 2008 18:51:51 Richard L. Halpert wrote:
> Copying this to the list, since it may be helpful to others.
>
> On Fri, Nov 7, 2008 at 9:50 AM, Richard L. Halpert <
>
> richardlhalpert at gmail.com> wrote:
> > The main problem is that you need to run in whole-program mode or wjtp
> > will not be run.  You also should use Spark for points-to analysis.  Try
> > this:
> >
> > java -Xmx1024m soot.Main -cp
> > .:$JAVA_HOME/jre/lib/rt.jar:$JAVA_HOME/jre/lib/jce.jar:$JAVA_HOME/jre/lib
> >/jsse.jar -w --app -p cg.cha enabled:false -p cg.spark enabled:true -p
> > wjtp.tnenabled:true -p wjtp.tn locking-scheme:leave-original -p wjtp.tn
> > do-tlo:false -p wjtp.tndo-mhp:true -p wjtp.tn print-graph:true
> > YourMainClass
> >
> > The print-graph:true option should cause Soot to print a .dot file to
> > stdout (with a prefix on every line, which you will need to remove).  You
> > will need the dot program to turn the .dot file into a graphic (it
> > supports all kinds of outputs - png, svg, ps, etc.).
> >
> > -Rich
> >
> >
> > On Fri, Nov 7, 2008 at 7:53 AM, Marco Bakera
> > <marco.bakera at uni-dortmund.de
> >
> > > wrote:
> >>
> >> Hey everybody,
> >>
> >> I am currently looking for locking information in java code and stumpled
> >> upon
> >> your transactional transformation phase and especially the topological
> >> graph
> >> that will be created here.
> >>
> >> I tried to get some information about the transactional regions in java
> >> programs by calling
> >>
> >> java soot.Main -p wjtp.tn on -p wjtp.tn locking-scheme:leave -p wjtp.tn
> >> print-graph:true java.lang.Integer
> >>
> >> but did not get the desired topological graph.
> >>
> >> Do you have any suggestions what went wrong?
> >>
> >> Thanks for help.
> >>
> >>
> >> Best regards,
> >> Marco.
> >>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part.
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20081108/6f3edf7d/attachment.bin