[Soot-list] interprocedural control flow analysis, whole mode and cfg
Quentin Sabah
quentin.sabah at inria.fr
Tue Jun 19 02:12:43 EDT 2012
> However, how to analyze data across method boundaries? Is there a way to
> identify which variables are passed and returned? (and use generic DFA
> techniques using flowsets). Please point me to the right references.
You can unify call-site arguments with callee parameters and call-site
l-value with callee returned-value(s), but there is no off-the-shelf
code for this in Soot.
These guys have done something similar using Soot:
http://www.cs.cornell.edu//projects/frex/index.php?n=Jreg.Main
The ISMM04 paper describes an inter-procedural analysis that could
inspire you.
--
Quentin Sabah, CIFRE 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