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() {
public soot.jimple.toolkits.scalar.ConstantCastEliminator soot_jimple_toolkits_scalar_ConstantCastEliminator() { if (instance_soot_jimple_toolkits_scalar_ConstantCastEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_ConstantCastEliminator == null) instance_soot_jimple_toolkits_scalar_ConstantCastEliminator = new soot.jimple.toolkits.scalar.ConstantCastEliminator(g); } } return instance_soot_jimple_toolkits_scalar_ConstantCastEliminator; } protected void release_soot_jimple_toolkits_scalar_ConstantCastEliminator() {
public soot.jimple.toolkits.scalar.FieldStaticnessCorrector soot_jimple_toolkits_scalar_FieldStaticnessCorrector() { if (instance_soot_jimple_toolkits_scalar_FieldStaticnessCorrector == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_FieldStaticnessCorrector == null) instance_soot_jimple_toolkits_scalar_FieldStaticnessCorrector = new soot.jimple.toolkits.scalar.FieldStaticnessCorrector(g); } } return instance_soot_jimple_toolkits_scalar_FieldStaticnessCorrector; } protected void release_soot_jimple_toolkits_scalar_FieldStaticnessCorrector() {
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); } }
public soot.jimple.toolkits.scalar.LocalNameStandardizer soot_jimple_toolkits_scalar_LocalNameStandardizer() { if (instance_soot_jimple_toolkits_scalar_LocalNameStandardizer == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_LocalNameStandardizer == null) instance_soot_jimple_toolkits_scalar_LocalNameStandardizer = new soot.jimple.toolkits.scalar.LocalNameStandardizer(g); } } return instance_soot_jimple_toolkits_scalar_LocalNameStandardizer; } protected void release_soot_jimple_toolkits_scalar_LocalNameStandardizer() {
public soot.jimple.toolkits.scalar.ConditionalBranchFolder soot_jimple_toolkits_scalar_ConditionalBranchFolder() { if (instance_soot_jimple_toolkits_scalar_ConditionalBranchFolder == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_ConditionalBranchFolder == null) instance_soot_jimple_toolkits_scalar_ConditionalBranchFolder = new soot.jimple.toolkits.scalar.ConditionalBranchFolder(g); } } return instance_soot_jimple_toolkits_scalar_ConditionalBranchFolder; } protected void release_soot_jimple_toolkits_scalar_ConditionalBranchFolder() {
public soot.jimple.toolkits.scalar.CopyPropagator soot_jimple_toolkits_scalar_CopyPropagator() { if (instance_soot_jimple_toolkits_scalar_CopyPropagator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_CopyPropagator == null) instance_soot_jimple_toolkits_scalar_CopyPropagator = new soot.jimple.toolkits.scalar.CopyPropagator(g); } } return instance_soot_jimple_toolkits_scalar_CopyPropagator; } protected void release_soot_jimple_toolkits_scalar_CopyPropagator() {
public soot.jimple.toolkits.scalar.NopEliminator soot_jimple_toolkits_scalar_NopEliminator() { if (instance_soot_jimple_toolkits_scalar_NopEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_NopEliminator == null) instance_soot_jimple_toolkits_scalar_NopEliminator = new soot.jimple.toolkits.scalar.NopEliminator(g); } } return instance_soot_jimple_toolkits_scalar_NopEliminator; } protected void release_soot_jimple_toolkits_scalar_NopEliminator() {
public soot.jimple.toolkits.scalar.UnconditionalBranchFolder soot_jimple_toolkits_scalar_UnconditionalBranchFolder() { if (instance_soot_jimple_toolkits_scalar_UnconditionalBranchFolder == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_UnconditionalBranchFolder == null) instance_soot_jimple_toolkits_scalar_UnconditionalBranchFolder = new soot.jimple.toolkits.scalar.UnconditionalBranchFolder(g); } } return instance_soot_jimple_toolkits_scalar_UnconditionalBranchFolder; } protected void release_soot_jimple_toolkits_scalar_UnconditionalBranchFolder() {
public EqualUsesAnalysis(UnitGraph g) { super(g); useStmts = null; useLocals = null; boundaryStmts = null; redefStmts = null; firstUseToAliasSet = null; // analysis is done on-demand, not now this.el = new EqualLocalsAnalysis(g); // also on-demand }
public soot.jimple.toolkits.scalar.CommonSubexpressionEliminator soot_jimple_toolkits_scalar_CommonSubexpressionEliminator() { if (instance_soot_jimple_toolkits_scalar_CommonSubexpressionEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_CommonSubexpressionEliminator == null) instance_soot_jimple_toolkits_scalar_CommonSubexpressionEliminator = new soot.jimple.toolkits.scalar.CommonSubexpressionEliminator(g); } } return instance_soot_jimple_toolkits_scalar_CommonSubexpressionEliminator; } protected void release_soot_jimple_toolkits_scalar_CommonSubexpressionEliminator() {
public soot.jimple.toolkits.scalar.ConstantPropagatorAndFolder soot_jimple_toolkits_scalar_ConstantPropagatorAndFolder() { if (instance_soot_jimple_toolkits_scalar_ConstantPropagatorAndFolder == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_ConstantPropagatorAndFolder == null) instance_soot_jimple_toolkits_scalar_ConstantPropagatorAndFolder = new soot.jimple.toolkits.scalar.ConstantPropagatorAndFolder(g); } } return instance_soot_jimple_toolkits_scalar_ConstantPropagatorAndFolder; } protected void release_soot_jimple_toolkits_scalar_ConstantPropagatorAndFolder() {
public soot.jimple.toolkits.scalar.DeadAssignmentEliminator soot_jimple_toolkits_scalar_DeadAssignmentEliminator() { if (instance_soot_jimple_toolkits_scalar_DeadAssignmentEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_DeadAssignmentEliminator == null) instance_soot_jimple_toolkits_scalar_DeadAssignmentEliminator = new soot.jimple.toolkits.scalar.DeadAssignmentEliminator(g); } } return instance_soot_jimple_toolkits_scalar_DeadAssignmentEliminator; } protected void release_soot_jimple_toolkits_scalar_DeadAssignmentEliminator() {
/** * returns a new local with the prefix given to the constructor (or the default-prefix if none has been given) and the * given type.<br> * The returned local will automatically added to the locals-chain.<br> * The local will be of the form: <tt>prefix</tt><i>X</i> (where the last <i>X</i> is a number, so the localname is * unique). * * @param type * the Type of the new local. * @return a new local with a unique name and the given type. */ public Local newLocal(Type type) { return newLocal(prefix, type); }
protected FlowSet<Value> newInitialFlow() { FlowSet<Value> newSet = emptySet.clone(); ((ToppedSet<Value>) newSet).setTop(true); return newSet; }
public soot.jimple.toolkits.scalar.MethodStaticnessCorrector soot_jimple_toolkits_scalar_MethodStaticnessCorrector() { if (instance_soot_jimple_toolkits_scalar_MethodStaticnessCorrector == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_MethodStaticnessCorrector == null) instance_soot_jimple_toolkits_scalar_MethodStaticnessCorrector = new soot.jimple.toolkits.scalar.MethodStaticnessCorrector(g); } } return instance_soot_jimple_toolkits_scalar_MethodStaticnessCorrector; } protected void release_soot_jimple_toolkits_scalar_MethodStaticnessCorrector() {
public soot.jimple.toolkits.scalar.IdentityCastEliminator soot_jimple_toolkits_scalar_IdentityCastEliminator() { if (instance_soot_jimple_toolkits_scalar_IdentityCastEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_IdentityCastEliminator == null) instance_soot_jimple_toolkits_scalar_IdentityCastEliminator = new soot.jimple.toolkits.scalar.IdentityCastEliminator(g); } } return instance_soot_jimple_toolkits_scalar_IdentityCastEliminator; } protected void release_soot_jimple_toolkits_scalar_IdentityCastEliminator() {
public soot.jimple.toolkits.scalar.IdentityOperationEliminator soot_jimple_toolkits_scalar_IdentityOperationEliminator() { if (instance_soot_jimple_toolkits_scalar_IdentityOperationEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_IdentityOperationEliminator == null) instance_soot_jimple_toolkits_scalar_IdentityOperationEliminator = new soot.jimple.toolkits.scalar.IdentityOperationEliminator(g); } } return instance_soot_jimple_toolkits_scalar_IdentityOperationEliminator; } protected void release_soot_jimple_toolkits_scalar_IdentityOperationEliminator() {
public soot.jimple.toolkits.scalar.EmptySwitchEliminator soot_jimple_toolkits_scalar_EmptySwitchEliminator() { if (instance_soot_jimple_toolkits_scalar_EmptySwitchEliminator == null) { synchronized (this) { if (instance_soot_jimple_toolkits_scalar_EmptySwitchEliminator == null) instance_soot_jimple_toolkits_scalar_EmptySwitchEliminator = new soot.jimple.toolkits.scalar.EmptySwitchEliminator(g); } } return instance_soot_jimple_toolkits_scalar_EmptySwitchEliminator; } protected void release_soot_jimple_toolkits_scalar_EmptySwitchEliminator() {