[Soot-list] Dealing with loops in Soot

[Marc-André Laverdière]

Hello Manas,

You want a fixed point for an interprocedural analysis??? I haven't
tried it myself, but I'm not sure its going to work very well. That's
why people use IFDS and things like that.

By the way, are you aware of the work that was done on value contexts at
IIT-B?

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 08/04/2014 10:12 AM, Manas Thakur wrote:
> Thanks Marc. Actually I had enclosed the call to my flow function inside
> an always-true while loop, and used "break" to come out when a condition
> becomes true. I think I need to refine my logic of coming to a
> fixed-point in an interprocedural analysis. Probably I will post another
> doubt very soon!
> 
> Regards,
> Manas
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>