private void cleanup(Body b) { CopyPropagator.v().transform(b); DeadAssignmentEliminator.v().transform(b); UnusedLocalEliminator.v().transform(b); NopEliminator.v().transform(b); }
public void postElimOpt() { boolean optElim = options.node_elim_opt(); if (optElim) { DeadAssignmentEliminator.v().transform(body); UnreachableCodeEliminator.v().transform(body); UnconditionalBranchFolder.v().transform(body); Aggregator.v().transform(body); UnusedLocalEliminator.v().transform(body); } }
DeadAssignmentEliminator.v().transform(b); UnusedLocalEliminator.v().transform(b);
DeadAssignmentEliminator.v().transform(b); UnusedLocalEliminator.v().transform(b); NopEliminator.v().transform(b);
ConditionalBranchFolder.v().transform(body); UnreachableCodeEliminator.v().transform(body); DeadAssignmentEliminator.v().transform(body); UnusedLocalEliminator.v().transform(body); PackManager.v().getPack("jtp").apply(body);
DeadAssignmentEliminator.v().transform(jBody); UnusedLocalEliminator.v().transform(jBody); DeadAssignmentEliminator.v().transform(jBody); UnusedLocalEliminator.v().transform(jBody); DeadAssignmentEliminator.v().transform(jBody); UnusedLocalEliminator.v().transform(jBody); NopEliminator.v().transform(jBody);
p.add(new Transform("jb.lns", LocalNameStandardizer.v())); p.add(new Transform("jb.cp", CopyPropagator.v())); p.add(new Transform("jb.dae", DeadAssignmentEliminator.v())); p.add(new Transform("jb.cp-ule", UnusedLocalEliminator.v())); p.add(new Transform("jb.lp", LocalPacker.v())); p.add(new Transform("jj.lns", LocalNameStandardizer.v())); p.add(new Transform("jj.cp", CopyPropagator.v())); p.add(new Transform("jj.dae", DeadAssignmentEliminator.v())); p.add(new Transform("jj.cp-ule", UnusedLocalEliminator.v())); p.add(new Transform("jj.lp", LocalPacker.v())); p.add(new Transform("jop.cpf", ConstantPropagatorAndFolder.v())); p.add(new Transform("jop.cbf", ConditionalBranchFolder.v())); p.add(new Transform("jop.dae", DeadAssignmentEliminator.v())); p.add(new Transform("jop.nce", new NullCheckEliminator())); p.add(new Transform("jop.uce1", UnreachableCodeEliminator.v()));
private void performSootOptimizations(Body body) { soot.jimple.toolkits.scalar.CopyPropagator.v().transform(body); // soot.jimple.toolkits.scalar.UnreachableCodeEliminator.v().transform(body); soot.jimple.toolkits.scalar.ConstantCastEliminator.v().transform(body); soot.jimple.toolkits.scalar.ConstantPropagatorAndFolder.v().transform(body); soot.jimple.toolkits.scalar.DeadAssignmentEliminator.v().transform(body); soot.jimple.toolkits.scalar.EmptySwitchEliminator.v().transform(body); }
ConditionalBranchFolder.v().transform(body); UnconditionalBranchFolder.v().transform(body); DeadAssignmentEliminator.v().transform(body); UnreachableCodeEliminator.v().transform(body); UnusedLocalEliminator.v().transform(body);
DeadAssignmentEliminator.v().transform(sm.method().getActiveBody());
p.add(new Transform("jb.lns", LocalNameStandardizer.v())); p.add(new Transform("jb.cp", CopyPropagator.v())); p.add(new Transform("jb.dae", DeadAssignmentEliminator.v())); p.add(new Transform("jb.cp-ule", UnusedLocalEliminator.v())); p.add(new Transform("jb.lp", LocalPacker.v())); p.add(new Transform("jop.cpf", ConstantPropagatorAndFolder.v())); p.add(new Transform("jop.cbf", ConditionalBranchFolder.v())); p.add(new Transform("jop.dae", DeadAssignmentEliminator.v())); p.add(new Transform("jop.nce", new NullCheckEliminator())); p.add(new Transform("jop.uce1", UnreachableCodeEliminator.v()));
p.add(new Transform("jb.lns", LocalNameStandardizer.v())); p.add(new Transform("jb.cp", CopyPropagator.v())); p.add(new Transform("jb.dae", DeadAssignmentEliminator.v())); p.add(new Transform("jb.cp-ule", UnusedLocalEliminator.v())); p.add(new Transform("jb.lp", LocalPacker.v())); p.add(new Transform("jop.cpf", ConstantPropagatorAndFolder.v())); p.add(new Transform("jop.cbf", ConditionalBranchFolder.v())); p.add(new Transform("jop.dae", DeadAssignmentEliminator.v())); p.add(new Transform("jop.nce", new NullCheckEliminator())); p.add(new Transform("jop.uce1", UnreachableCodeEliminator.v()));