[Soot-list] Liveness Analysis

[Bodden, Eric]

Hello.

I am not sure what you mean by "how to perform points to analysis using previously generated access graphs?".

Points-to analysis is flow-insensitive. The notion of liveness really only makes sense if taking flow into account. Hence, how should the points-to analysis take the liveness results into account?

Eric

On 14.09.2013, at 07:29, Alefiya Lightwala <alefiya.lightwala90 at gmail.com> wrote:

> 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
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20131008/2a527ea1/attachment.bin