private void check_and_fix_constraints() throws TypeException { ConstraintChecker checker = new ConstraintChecker(this, true); StringBuffer s = null; PatchingChain<Unit> units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if (DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if (DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch (TypeException e) { if (DEBUG) { logger.debug("" + s); } throw e; } } }
private void check_and_fix_constraints() throws TypeException { ConstraintCheckerBV checker = new ConstraintCheckerBV(this, true); StringBuffer s = null; PatchingChain<Unit> units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if (DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if (DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch (TypeException e) { if (DEBUG) { logger.debug("" + s); } throw e; } } }
public Body add(soot.jimple.Stmt stmt) { if(list != null) { list.add(stmt); list = null; } stmt.addTag(currentSourceRangeTag()); soot.PatchingChain<Unit> chain = (soot.PatchingChain<Unit>)chains.peek(); if(stmt instanceof IdentityStmt && chain.size() != 0) { IdentityStmt idstmt = (IdentityStmt) stmt; if(!(idstmt.getRightOp() instanceof CaughtExceptionRef)) { soot.Unit s = chain.getFirst(); while(s instanceof IdentityStmt) s = chain.getSuccOf((soot.jimple.Stmt)s); if(s != null) { chain.insertBefore(stmt, (soot.jimple.Stmt)s); return this; } } } chain.add(stmt); return this; }
private void check_and_fix_constraints() throws TypeException { ConstraintChecker checker = new ConstraintChecker(this, true); StringBuffer s = null; PatchingChain<Unit> units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if (DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if (DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch (TypeException e) { if (DEBUG) { logger.debug("" + s); } throw e; } } }
if (units.size() < 2) { logger.warn("THERE AREN'T MANY UNITS IN THIS METHOD {}", units);
private void split_new() { LocalDefs defs = LocalDefs.Factory.newLocalDefs(stmtBody); PatchingChain<Unit> units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()];
private void split_new() { LocalDefs defs = LocalDefs.Factory.newLocalDefs(stmtBody); PatchingChain<Unit> units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()];
private void split_new() { LocalDefs defs = LocalDefs.Factory.newLocalDefs(jb); PatchingChain<Unit> units = this.jb.getUnits(); Stmt[] stmts = new Stmt[units.size()];
final int unitsLeft = units.size() - precedingFirstNotIdentityIndex; if (unitsLeft < 8) { if (isVerbose()) {
private void check_and_fix_constraints() throws TypeException { ConstraintCheckerBV checker = new ConstraintCheckerBV(this, true); StringBuffer s = null; PatchingChain units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if(DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if(DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch(TypeException e) { if(DEBUG) { G.v().out.println(s); } throw e; } } }
private void check_and_fix_constraints() throws TypeException { ConstraintChecker checker = new ConstraintChecker(this, true); StringBuffer s = null; PatchingChain units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if(DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if(DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch(TypeException e) { if(DEBUG) { G.v().out.println(s); } throw e; } } }
private void check_and_fix_constraints() throws TypeException { ConstraintChecker checker = new ConstraintChecker(this, true); StringBuffer s = null; PatchingChain units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if(DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if(DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch(TypeException e) { if(DEBUG) { G.v().out.println(s); } throw e; } } }
private void check_and_fix_constraints() throws TypeException { ConstraintCheckerBV checker = new ConstraintCheckerBV(this, true); StringBuffer s = null; PatchingChain units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if(DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if(DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch(TypeException e) { if(DEBUG) { G.v().out.println(s); } throw e; } } }
private void check_and_fix_constraints() throws TypeException { ConstraintChecker checker = new ConstraintChecker(this, true); StringBuffer s = null; PatchingChain units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if(DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if(DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch(TypeException e) { if(DEBUG) { G.v().out.println(s); } throw e; } } }
private void check_and_fix_constraints() throws TypeException { ConstraintChecker checker = new ConstraintChecker(this, true); StringBuffer s = null; PatchingChain units = stmtBody.getUnits(); Stmt[] stmts = new Stmt[units.size()]; units.toArray(stmts); if(DEBUG) { s = new StringBuffer("Checking:\n"); } for (Stmt stmt : stmts) { if(DEBUG) { s.append(" " + stmt + "\n"); } try { checker.check(stmt, stmtBody); } catch(TypeException e) { if(DEBUG) { G.v().out.println(s); } throw e; } } }
Timers.v().stmtCount += b.getUnits().size();
Timers.v().stmtCount += b.getUnits().size();
Timers.v().stmtCount += b.getUnits().size();
Timers.v().stmtCount += b.getUnits().size();