[Soot-list] variable name conflict
Quentin Sabah
quentin.sabah at inria.fr
Fri Jul 12 04:33:30 EDT 2013
Hi Sergio,
I have proper result with Soot 2.5.0.
Please review the analysis, the test and the results there:
http://pastebin.com/E1MN8YFa
The analysis numbers the Local of each method. Then it reviews the
statements and print the number associated with each use/def Local.
We observe that the different locals named "x" are correctly used where
they should be.
Regards.
--
Quentin Sabah, CIFRE Ph.D. student
Grenoble University
INRIA-SPADES | STMicroelectronics/AST
Montbonnot, France | Grenoble, France
mailto:quentin.sabah at inria.fr | mailto:quentin.sabah at st.com
phone: +33 476 61 54 57 | phone: +33 476 58 44 14
More information about the Soot-list
mailing list