IFDS的icfg对异常的处理

IFDS的icfg对异常的处理：

异常产生的target语句：

1. 如果产生异常的语句在try/catch中，则target就是catch块的第一条语句“$r8 :=@caughtexception;”。

2. 如果不在try/catch中(当前方法声明为throws exception)，则target就是return语句(ReturnVoidStmt或者ReturnStmt)。注意，产生异常的语句，与return本不相邻，是soot根据异常机制将两者连接起来。

包含异常target在内的CFG：

1. Normal语句抛出异常，例如数组访问。

    Succs里有异常target语句。IFDS的processNormalFlow()会调用normal边的flowfunction进行data传播。于是data会传播到target语句。

2. Call语句抛出异常。

    1) Succs里有target语句.

    2) Call语句的returnSite（icfg.getReturnSitesOfCallAt(call)）有异常target语句。IFDS的processCall()会调用call-to-return边的flowfunction进行data传播。

     【注意：不是call边的flowfunction，而是call-to-return边的flowfunction。后者将data传播到到了异常target语句。】