[Soot-list] Local variable scopes in Jimple

Rohan Padhye rohanpadhye at cse.iitb.ac.in
Tue Mar 19 02:11:47 EDT 2013


Hello,

Does Soot provide any mechanism of determining when a JimpleLocal goes 
out of a scope in a JimpleBody?

For example consider a method with the following lines:

try {
   // Something
} catch(Exception e) {
   // Handle e
}
// Some 100 more lines...

I am performing data flow analysis on such methods and would like to 
determine that I can "kill" whatever
information I am keeping for the local 'e' when it goes out of scope. 
Note that this is not limited to
try-catch blocks but a general question regarding scope blocks.

Thanks,
Rohan Padhye


More information about the Soot-list mailing list