Program: 88702
Project: 88702
Buggy source:
public soot.Body getBody(soot.SootMethod sootMethod,String phaseName){
  soot.Body classBody=soot.jimple.Jimple.v().newBody(sootMethod);
  soot.jimple.ParameterRef paramRef=soot.jimple.Jimple.v().newParameterRef(soot.RefType.v("String_Node_Str"),0);
  soot.Local paramLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(paramLocal);
  soot.jimple.Stmt stmt=soot.jimple.Jimple.v().newIdentityStmt(paramLocal,paramRef);
  classBody.getUnits().add(stmt);
  ArrayList paramTypes=new ArrayList();
  paramTypes.add(soot.RefType.v("String_Node_Str"));
  soot.SootMethod methodToInvoke=soot.Scene.v().getSootClass("String_Node_Str").getMethod("String_Node_Str",paramTypes,soot.RefType.v("String_Node_Str"));
  soot.Local invokeLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(invokeLocal);
  ArrayList params=new ArrayList();
  params.add(paramLocal);
  soot.jimple.Expr invokeExpr=soot.jimple.Jimple.v().newStaticInvokeExpr(methodToInvoke,params);
  soot.jimple.Stmt assign=soot.jimple.Jimple.v().newAssignStmt(invokeLocal,invokeExpr);
  classBody.getUnits().add(assign);
  soot.jimple.Stmt retStmt=soot.jimple.Jimple.v().newReturnStmt(invokeLocal);
  classBody.getUnits().add(retStmt);
  soot.Local catchRefLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(catchRefLocal);
  soot.jimple.CaughtExceptionRef caughtRef=soot.jimple.Jimple.v().newCaughtExceptionRef();
  soot.jimple.Stmt caughtIdentity=soot.jimple.Jimple.v().newIdentityStmt(catchRefLocal,caughtRef);
  classBody.getUnits().add(caughtIdentity);
  soot.Local noClassDefLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(noClassDefLocal);
  soot.jimple.Expr newExpr=soot.jimple.Jimple.v().newNewExpr(soot.RefType.v("String_Node_Str"));
  soot.jimple.Stmt noClassDefAssign=soot.jimple.Jimple.v().newAssignStmt(noClassDefLocal,newExpr);
  classBody.getUnits().add(noClassDefAssign);
  paramTypes=new ArrayList();
  soot.SootMethod initMethToInvoke=soot.Scene.v().getSootClass("String_Node_Str").getMethod("String_Node_Str",paramTypes,soot.VoidType.v());
  params=new ArrayList();
  soot.jimple.Expr initInvoke=soot.jimple.Jimple.v().newSpecialInvokeExpr(noClassDefLocal,initMethToInvoke,params);
  soot.jimple.Stmt initStmt=soot.jimple.Jimple.v().newInvokeStmt(initInvoke);
  classBody.getUnits().add(initStmt);
  soot.Local throwLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(throwLocal);
  paramTypes=new ArrayList();
  paramTypes.add(soot.RefType.v("String_Node_Str"));
  params=new ArrayList();
  params.add(catchRefLocal);
  soot.SootMethod messageMethToInvoke=soot.Scene.v().getSootClass("String_Node_Str").getMethod("String_Node_Str",paramTypes,soot.RefType.v("String_Node_Str"));
  soot.jimple.Expr messageInvoke=soot.jimple.Jimple.v().newVirtualInvokeExpr(noClassDefLocal,messageMethToInvoke,params);
  soot.jimple.Stmt messageAssign=soot.jimple.Jimple.v().newAssignStmt(throwLocal,messageInvoke);
  classBody.getUnits().add(messageAssign);
  soot.jimple.Stmt throwStmt=soot.jimple.Jimple.v().newThrowStmt(throwLocal);
  classBody.getUnits().add(throwStmt);
  soot.Trap trap=soot.jimple.Jimple.v().newTrap(soot.Scene.v().getSootClass("String_Node_Str"),assign,retStmt,caughtIdentity);
  classBody.getTraps().add(trap);
  return classBody;
}

Fixed version (ground truth):
public soot.Body getBody(soot.SootMethod sootMethod,String phaseName){
  soot.Body classBody=soot.jimple.Jimple.v().newBody(sootMethod);
  soot.jimple.ParameterRef paramRef=soot.jimple.Jimple.v().newParameterRef(soot.RefType.v("String_Node_Str"),0);
  soot.Local paramLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(paramLocal);
  soot.jimple.Stmt stmt=soot.jimple.Jimple.v().newIdentityStmt(paramLocal,paramRef);
  classBody.getUnits().add(stmt);
  ArrayList paramTypes=new ArrayList();
  paramTypes.add(soot.RefType.v("String_Node_Str"));
  soot.SootMethod methodToInvoke=soot.Scene.v().getSootClass("String_Node_Str").getMethod("String_Node_Str",paramTypes,soot.RefType.v("String_Node_Str"));
  soot.Local invokeLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(invokeLocal);
  ArrayList params=new ArrayList();
  params.add(paramLocal);
  soot.jimple.Expr invokeExpr=soot.jimple.Jimple.v().newStaticInvokeExpr(methodToInvoke,params);
  soot.jimple.Stmt assign=soot.jimple.Jimple.v().newAssignStmt(invokeLocal,invokeExpr);
  classBody.getUnits().add(assign);
  soot.jimple.Stmt retStmt=soot.jimple.Jimple.v().newReturnStmt(invokeLocal);
  classBody.getUnits().add(retStmt);
  soot.Local catchRefLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(catchRefLocal);
  soot.jimple.CaughtExceptionRef caughtRef=soot.jimple.Jimple.v().newCaughtExceptionRef();
  soot.jimple.Stmt caughtIdentity=soot.jimple.Jimple.v().newIdentityStmt(catchRefLocal,caughtRef);
  classBody.getUnits().add(caughtIdentity);
  soot.Local noClassDefLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(noClassDefLocal);
  soot.jimple.Expr newExpr=soot.jimple.Jimple.v().newNewExpr(soot.RefType.v("String_Node_Str"));
  soot.jimple.Stmt noClassDefAssign=soot.jimple.Jimple.v().newAssignStmt(noClassDefLocal,newExpr);
  classBody.getUnits().add(noClassDefAssign);
  paramTypes=new ArrayList();
  soot.SootMethod initMethToInvoke=soot.Scene.v().getSootClass("String_Node_Str").getMethod("String_Node_Str",paramTypes,soot.VoidType.v());
  params=new ArrayList();
  soot.jimple.Expr initInvoke=soot.jimple.Jimple.v().newSpecialInvokeExpr(noClassDefLocal,initMethToInvoke,params);
  soot.jimple.Stmt initStmt=soot.jimple.Jimple.v().newInvokeStmt(initInvoke);
  classBody.getUnits().add(initStmt);
  soot.Local throwLocal=soot.jimple.Jimple.v().newLocal("String_Node_Str",soot.RefType.v("String_Node_Str"));
  classBody.getLocals().add(throwLocal);
  paramTypes=new ArrayList();
  paramTypes.add(soot.RefType.v("String_Node_Str"));
  params=new ArrayList();
  params.add(catchRefLocal);
  soot.SootMethod messageMethToInvoke=soot.Scene.v().getSootClass("String_Node_Str").getMethod("String_Node_Str",paramTypes,soot.RefType.v("String_Node_Str"));
  soot.jimple.Expr messageInvoke=soot.jimple.Jimple.v().newVirtualInvokeExpr(noClassDefLocal,messageMethToInvoke,params);
  soot.jimple.Stmt messageAssign=soot.jimple.Jimple.v().newAssignStmt(throwLocal,messageInvoke);
  classBody.getUnits().add(messageAssign);
  soot.jimple.Stmt throwStmt=soot.jimple.Jimple.v().newThrowStmt(throwLocal);
  throwStmt.addTag(new soot.tagkit.ThrowCreatedByCompilerTag());
  classBody.getUnits().add(throwStmt);
  soot.Trap trap=soot.jimple.Jimple.v().newTrap(soot.Scene.v().getSootClass("String_Node_Str"),assign,retStmt,caughtIdentity);
  classBody.getTraps().add(trap);
  return classBody;
}