boomerang.staticfields.FlowSensitiveStaticFieldStrategy 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.staticfields;

import boomerang.scene.ControlFlowGraph.Edge;
import boomerang.scene.StaticFieldVal;
import boomerang.scene.Val;
import java.util.Set;
import sync.pds.solver.nodes.Node;
import wpds.impl.Weight;
import wpds.interfaces.State;

public class FlowSensitiveStaticFieldStrategy implements StaticFieldStrategy {
  @Override
  public void handleForward(
      Edge storeStmt, Val storedVal, StaticFieldVal staticVal, Set out) {
    out.add(new Node<>(storeStmt, staticVal));
  }

  @Override
  public void handleBackward(
      Edge loadStatement, Val loadedVal, StaticFieldVal staticVal, Set out) {
    out.add(new Node<>(loadStatement, loadStatement.getTarget().getStaticField()));
  }
}