[Soot-list] ThrowAnalysis

[Zhiqiang ZUO]

Hi all,

I have used mightThrow() in UnitThrowAnalysis to analyze which exceptions a
jimple stmt may throw. For instance, InvokeStmt:  virtualinvoke
temp$4.<java.util.Vector: java.lang.Object elementAt(int)>(i);

I found that the ThrowableSet returned contains all the Throwable
exceptions. But in fact, this method call only throws the runtimeexception
ArrayOutOfBoundsException, not any checked exceptions. So it seems that the
result isn't accurate enough.

Am i right? or there are something which i didn't understand in the right
way.

Thanks


Zhiqiang

School of Computing
National University of Singapore
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20111102/3bd9e578/attachment.html