Examples of MustPointsToTransferFunctions

edu.cmu.cs.fusion.alias.MustPointsToTransferFunctions

The transfer functions for a simple aliasing analysis. @author cieraNote: This class has an invariant that all variables do have at least one ObjectLabel that they can point to. This label might be the null label representation, but it always exists. In particular, any call like value.getAliases(instr.getOperand()) is ALWAYS non-null and has at least one element. I have added asserts accordingly. If this is ever null, something went wrong much earlier in the transfer functions and should be investigated.

  public String getName() {return "FusionPragmaticUnique";}


  @Override
  public AbstractTACBranchSensitiveTransferFunction<PointsToAliasContext> getAliasTransferFunction(
      DeclarativeRetriever retriever) {
    return new MustPointsToTransferFunctions(retriever, getHierarchy());
  }

  public String getName() {return "FusionComplete";}


  @Override
  public AbstractTACBranchSensitiveTransferFunction<PointsToAliasContext> getAliasTransferFunction(
      DeclarativeRetriever retriever) {
    return new MustPointsToTransferFunctions(retriever, getHierarchy());
  }

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.

Examples of MustPointsToTransferFunctions

Examples of edu.cmu.cs.fusion.alias.MustPointsToTransferFunctions

Examples of edu.cmu.cs.fusion.alias.MustPointsToTransferFunctions