[Soot-list] Liveness Analysis

[Alefiya Lightwala]

Hello

Thanks for your reply. I have tried using
soot.jimple.toolkits.annotation.liveness and is working fine.
Now I am doing liveness based pointsto analysis using the vasco API.
Firstly I am running liveness analysis and after that I want to use the
results of this analysis in the pointsto analysis. And I want to do this
simultaneously until fixed point is reached.


What I am currently doing is :

LivenessAnalysis la=new LivenessAnalysis();
la.doAnalysis();

//Here how to perform points to analysis using previously generated access
graphs?
PointsToAnalysis pta=new PointsToAnalysis();
pta.doAnalysis();

ThankYou

Regards
Alefiya Lightwala


On Fri, Sep 13, 2013 at 7:50 PM, Marc-André Laverdière <
marc-andre.laverdiere-papineau at polymtl.ca> wrote:

> Hello Alefiya,
>
> Please keep the discussions in the list - it avoids having emails
> getting 'lost' for a long time :)
>
> Have a look at the soot.jimple.toolkits.annotation.liveness and
> arraycheck packages. You also have a bit on how to use it from the
> command line in tutorial/guide/soot.tex.
>
> Of course, please use the 'develop' branch from github. A release is
> coming 'soon'.
>
> Marc-André Laverdière-Papineau
> Doctorant - PhD Candidate
>
> On 08/23/2013 01:00 PM, Alefiya Lightwala wrote:
> > I am trying to implementing liveness based heap pointer analysis in soot.
> >
> > Can you please tell me where exactly(in which package) is liveness
> > analysis in soot present.
> >
> >
> >
> >
> > On Fri, Aug 23, 2013 at 10:21 PM, Marc-Andre Laverdiere-Papineau
> > <marc-andre.laverdiere-papineau at polymtl.ca
> > <mailto:marc-andre.laverdiere-papineau at polymtl.ca>> wrote:
> >
> >     Hello Alefiya,
> >
> >     Soot uses either Jimple or Shimple as its internal representation.
> >     Jimple is the default.
> >
> >     There is nothing you can do about it, and I suggest you spend a bit
> of
> >     time getting familiar with Jimple. Every static analysis tool will
> have
> >     a different internal representation, Soot is no exception.
> >
> >     Also, I think there is already a liveness analysis in Soot. I would
> >     check the transformers in the jb pack.
> >
> >     My question is: what are you really trying to do? What is your actual
> >     objective for which you wanted a liveness analysis?
> >
> >     --
> >     Marc-André Laverdière-Papineau
> >     Doctorant - PhD Candidate
> >
> >     On 2013-08-22 04:43, Alefiya Lightwala wrote:
> >     > Hello everyone
> >     >
> >     > I am new to soot. I started with developing liveness analysis in
> >     soot. I
> >     > want to perform liveness analysis on .java file.
> >     >
> >     > So checked I for condition i=a.f(); and made "a" live.
> >     >
> >     > But soot converts input .java file into .jimple file and then it is
> >     > performing liveness analysis.
> >     > In .jimple file no such line exists i=a.f() It is replaced by:
> >     >
> >     >          virtualinvoke a.<LiveTest: int f()>();
> >     >
> >     >
> >     > I have developed complete code with respect to .java file.
> >     >
> >     > What can I do with this?
> >     >
> >     >
> >     > _______________________________________________
> >     > Soot-list mailing list
> >     > Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
> >     > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >     >
> >
> >
> >
> >     _______________________________________________
> >     Soot-list mailing list
> >     Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
> >     http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> >
> >
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130914/0d314b45/attachment-0001.html