[Soot-list] Local variable scopes in Jimple

[Almo]

Hey,

You can use liveness and/or reaching defs analysis to satisfy your needs.


________________________________
 From: Rohan Padhye <rohanpadhye at cse.iitb.ac.in>
To: soot-list at sable.mcgill.ca 
Sent: Tuesday, March 19, 2013 12:11 AM
Subject: [Soot-list] Local variable scopes in Jimple
 
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
_______________________________________________
Soot-list mailing list
Soot-list at sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130319/353f8199/attachment.html