[Soot-list] Liveness Analysis

[Marc-Andre Laverdiere-Papineau]

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
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>