soot
soot copied to clipboard
Implement interprocedural mightThrow analysis
The UnitThrowAnalysis class has a method "mightThrow(SootMethodRef)" which at the moment conservatively assumes that all exceptions might be thrown until we have a real interprocedural might-throw analysis. Any volunteers to implement one? It should not be too hard.
Sounds like something one could do in a "Praktikum"...
/assign