[Soot-list] Liveness Analysis

[Marc-André Laverdière]

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