Search in sources :

Example 11 with Pair

use of soot.toolkits.scalar.Pair in project soot by Sable.

the class SparkNativeHelper method throwExceptionImpl.

protected void throwExceptionImpl(AbstractObject obj) {
    AllocNode objNode = pag.makeAllocNode(new Pair("AbstractObject", obj.getType()), obj.getType(), null);
    pag.addEdge(objNode, pag.nodeFactory().caseThrow());
}
Also used : Pair(soot.toolkits.scalar.Pair)

Aggregations

Pair (soot.toolkits.scalar.Pair)11 SootMethod (soot.SootMethod)6 Value (soot.Value)5 InvokeExpr (soot.jimple.InvokeExpr)5 Stmt (soot.jimple.Stmt)5 ArrayList (java.util.ArrayList)4 Local (soot.Local)4 RefType (soot.RefType)4 Unit (soot.Unit)4 Set (java.util.Set)3 SootClass (soot.SootClass)3 Type (soot.Type)3 NewExpr (soot.jimple.NewExpr)3 VirtualInvokeExpr (soot.jimple.VirtualInvokeExpr)3 AllocNode (soot.jimple.spark.pag.AllocNode)3 Node (soot.jimple.spark.pag.Node)3 VarNode (soot.jimple.spark.pag.VarNode)3 FlowFunction (heros.FlowFunction)2 FlowFunctions (heros.FlowFunctions)2 HashSet (java.util.HashSet)2