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.
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.