boomerang.solver.Strategies Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of boomerangPDS Show documentation

There is a newer version: 3.2.2

package boomerang.solver;

import boomerang.BoomerangOptions;
import boomerang.arrays.ArrayHandlingStrategy;
import boomerang.arrays.ArrayIndexInsensitiveStrategy;
import boomerang.arrays.ArrayIndexSensitiveStrategy;
import boomerang.arrays.IgnoreArrayStrategy;
import boomerang.scene.Field;
import boomerang.scene.Statement;
import boomerang.staticfields.FlowSensitiveStaticFieldStrategy;
import boomerang.staticfields.IgnoreStaticFieldStrategy;
import boomerang.staticfields.SingletonStaticFieldStrategy;
import boomerang.staticfields.StaticFieldStrategy;
import com.google.common.collect.Multimap;
import wpds.impl.Weight;

public class Strategies {
  private final StaticFieldStrategy staticFieldStrategy;
  private final ArrayHandlingStrategy arrayHandlingStrategy;

  public Strategies(
      BoomerangOptions opts,
      AbstractBoomerangSolver solver,
      Multimap fieldLoadStatements,
      Multimap fieldStoreStatements) {
    switch (opts.getStaticFieldStrategy()) {
      case IGNORE:
        staticFieldStrategy = new IgnoreStaticFieldStrategy();
        break;
      case SINGLETON:
        staticFieldStrategy =
            new SingletonStaticFieldStrategy<>(solver, fieldLoadStatements, fieldStoreStatements);
        break;
      case FLOW_SENSITIVE:
      default:
        staticFieldStrategy = new FlowSensitiveStaticFieldStrategy();
        break;
    }
    switch (opts.getArrayStrategy()) {
      case DISABLED:
        arrayHandlingStrategy = new IgnoreArrayStrategy();
        break;
      case INDEX_INSENSITIVE:
        arrayHandlingStrategy = new ArrayIndexInsensitiveStrategy();
        break;
      case INDEX_SENSITIVE:
      default:
        arrayHandlingStrategy = new ArrayIndexSensitiveStrategy();
        break;
    }
  }

  public StaticFieldStrategy getStaticFieldStrategy() {
    return staticFieldStrategy;
  }

  public ArrayHandlingStrategy getArrayHandlingStrategy() {
    return arrayHandlingStrategy;
  }
}