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语句。】