[Soot-list] Intra or inter

[Marc-Andre Laverdiere-Papineau]

As far as I can tell, intraprocedural analyses is always simpler than 
interprocedural ones.

However, I am not aware of any analyses that can be expressed as one or 
the other. If you are able to convert an interprocedural analysis as an 
intraprocedural one without sacrificing soundness nor precision, then 
you may be on your way to a Turing Award!!!

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

On 13-01-19 02:22 AM, Zeinab Lashkaripour wrote:
> Hi dear Reader,
> The case that I'm working on can be done either intra or
> inter-procedural for some reasons, but I wanted to do it
> inter-procedural. The question that I have is with the information that
> I have about Soot I think inter-procedural is not that so hard to force
> me to solve my case intra-procedural. Am I right?
>
> Best Regards,
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>