[Soot-list] Re : Re: Re : Spark and aliasing analysis
Quentin Sabah
quentin.sabah at inria.fr
Wed May 9 10:47:46 EDT 2012
> Conclusion: No way to do this with spark, right?
> What's about Paddle? Would Paddle return different pointsTo-sets?
Well, a context-sensitive analysis may help you get what you are looking-for. You could get something like:
- o7 points to AllocNode in "getNewO()" called from instruction "o7 = ...getNewO()" in ... called from ...
- o8 points to AllocNode in "getNewO()" called from instruction "o8 = ...getNewO()" in ... called from ...
But there will always be limit to the depth of the context and it can be extremly costly to compute even for a small depth parameter of 2 or 3!
Check Paddle and the "Context abstraction (context)" argument.
--
Quentin Sabah, co-funded Ph.D. student
Grenoble University
INRIA-SARDES | STMicroelectronics/AST
Montbonnot, France | Grenoble, France
mailto:quentin.sabah at inria.fr | mailto:quentin.sabah at st.com
phone: +33 476 61 52 42 | phone: +33 476 58 44 14
More information about the Soot-list
mailing list