Soot -- Soot中的一些语句细节

1.Soot中语句中如何判断是否是调用语句？

见如下代码：

• 作者会将java代码等，一般转换为Jimple的中间形式。（Jimple可以说是Soot的一个核心）
• 所以对于当我们想获得的信息，最好都从与Jimple相关的对象中获得。（Soot中对于Jimple这种中间的形式进行了对象的建模，从而用对象的形式模拟出Jimple语言中的语句）

private static void testCFG4(SootMethod method){//1.获取方法体，并转化为JimpleBody,//JimpleBody 比 Body 要包含更多有用的信息。JimpleBody body = (JimpleBody)method.retrieveActiveBody();//2.我们可以据此来绘制出Unit之间的调用图。UnitGraph g = new BriefUnitGraph(body);Iterator<Unit> it = g.iterator();while (it.hasNext()) {//3.Stmt 是Jimple一条语句的表示形式。（Stmt继承自Unit,所以有更多信息）Stmt stmt = (Stmt)it.next();if(stmt.containsInvokeExpr()){System.out.println("the invoke is : " + stmt.toString() );                                System.out.println("the method is : " + tmp.getInvokeExpr().getMethod()); }}}

2.Soot中对于switch的处理（Jimple语言）

soot中对于switch的处理是分情况的，他提供了两种建模方式，JTableSwitchStmt以及JLookupSwitchStmt，在其建模中认为case 区分主要为数字。

两者的区别在于：

• 【 JTableSwitchStmt 】switch是分成多种情况的，并且通过数字来进行区分这些情况。如果数字是连续的，比如说，2,3，4,5 ，那么soot就会采取 JTableSwitchStmt 来存储它，因为这样查找效率更高。
• 【 JLookupSwitchStmt 】如果case中构成的数字情况集合是稀疏的，比如，case情况有2,9,100，那么将采取 JLookupSwitchStmt 方式来存储switch相关的一些内容，没有上面的 JTableSwitchStmt 查找效率高，但是节省空间。

举例：

例1： （下面代码在soot中表示为 JTableSwitchStmt）

switch(type){case 2:A1();break;case 3:A2();break;case 4:A3();break;default:A3();                }

例2：  （下面代码在soot中表示为 JLookupSwitchStmt）

switch(type){        case 2:            A1();            break;        case 5:            A2();            break;        case 9:            A3();            break;        default:            A3();        }

附： 参看JTableSwitchStmt，JLookupSwitchStmt 中的 toString( ) 函数，能了解到更细节的原理。