[Soot-list] CFG and exception analysis

[Irem Aktug]

Answering my own question..

The great technical report agrees. That the invokespecial and 
invokevirtual can only throw NullPointerException and invokestatic none. 
(ignoring the asynch exceptions that is)

irem

>
> My objective is to seperate between exceptions thrown by the 
> invocation instruction and the invoked method itself. So that in  my 
> graph there will be two edges ending in exceptions, only one labeled 
> with the called method. So I want to make sure that this Throwable 
> exceptional destination is indeed for the invocation instruction and 
> not the invoked method. Is this the case?
>
> If it is not, then I will safely(?) assume that invokestatic does not 
> raise any exceptions of type  Exception or its subclasses, making my 
> flow graph a little finer.
>
> Irem