[Soot-list] Spark Error with Flowdroid
Quentin Sabah
quentin.sabah at inria.fr
Sun Jun 16 08:20:46 EDT 2013
I looked into the source code of the class, the "l8" local should be named "part". For some reason (maybe a problem in the local variable table, or the way Soot handles it) the name "part" is not associated everywhere it should be.
--
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