public soot.jimple.toolkits.scalar.UnreachableCodeEliminator soot_jimple_toolkits_scalar_UnreachableCodeEliminator() { if (instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator == null) instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator = new soot.jimple.toolkits.scalar.UnreachableCodeEliminator(g); } } return instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator; } protected void release_soot_jimple_toolkits_scalar_UnreachableCodeEliminator() {
p.add(new Transform("jb.lp", LocalPacker.v())); p.add(new Transform("jb.ne", NopEliminator.v())); p.add(new Transform("jb.uce", UnreachableCodeEliminator.v())); p.add(new Transform("jj.cp-ule", UnusedLocalEliminator.v())); p.add(new Transform("jj.lp", LocalPacker.v())); p.add(new Transform("jj.uce", UnreachableCodeEliminator.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("jop.ubf1", UnconditionalBranchFolder.v())); p.add(new Transform("jop.uce2", UnreachableCodeEliminator.v())); p.add(new Transform("jop.ubf2", UnconditionalBranchFolder.v())); p.add(new Transform("jop.ule", UnusedLocalEliminator.v()));
int numPruned = units.size(); Set<Unit> reachable = units.isEmpty() ? Collections.<Unit>emptySet() : reachable(units.getFirst(), graph);
p.add(new Transform("jb.lp", LocalPacker.v())); p.add(new Transform("jb.ne", NopEliminator.v())); p.add(new Transform("jb.uce", UnreachableCodeEliminator.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("jop.ubf1", UnconditionalBranchFolder.v())); p.add(new Transform("jop.uce2", UnreachableCodeEliminator.v())); p.add(new Transform("jop.ubf2", UnconditionalBranchFolder.v())); p.add(new Transform("jop.ule", UnusedLocalEliminator.v()));
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); } }
p.add(new Transform("jb.lp", LocalPacker.v())); p.add(new Transform("jb.ne", NopEliminator.v())); p.add(new Transform("jb.uce", UnreachableCodeEliminator.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("jop.ubf1", UnconditionalBranchFolder.v())); p.add(new Transform("jop.uce2", UnreachableCodeEliminator.v())); p.add(new Transform("jop.ubf2", UnconditionalBranchFolder.v())); p.add(new Transform("jop.ule", UnusedLocalEliminator.v()));
protected UnreachableCodeEliminator getUnreachableCodeEliminator() { if (this.unreachableCodeEliminator == null) { this.unreachableCodeEliminator = new UnreachableCodeEliminator(DalvikThrowAnalysis.v()); } return this.unreachableCodeEliminator; }
public soot.jimple.toolkits.scalar.UnreachableCodeEliminator soot_jimple_toolkits_scalar_UnreachableCodeEliminator() { if( instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator == null ) instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator = new soot.jimple.toolkits.scalar.UnreachableCodeEliminator( g ); return instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator; }
public soot.jimple.toolkits.scalar.UnreachableCodeEliminator soot_jimple_toolkits_scalar_UnreachableCodeEliminator() { if( instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator == null ) instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator = new soot.jimple.toolkits.scalar.UnreachableCodeEliminator( g ); return instance_soot_jimple_toolkits_scalar_UnreachableCodeEliminator; }