Examples of MayPointsToTransferFunctions

edu.cmu.cs.fusion.alias.MayPointsToTransferFunctions
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.

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

  }


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

View Full Code Here

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

  public StubFusionAnalysis() {
    super(null);
  }
  
  public AbstractTACBranchSensitiveTransferFunction<PointsToAliasContext> getAliasTransferFunction(DeclarativeRetriever retriever) {
    return new MayPointsToTransferFunctions(retriever, getHierarchy());
  }

View Full Code Here

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


public class TestRelationshipTransferFunction extends
    RelationshipTransferFunction {
  
  public TestRelationshipTransferFunction(FusionAnalysis relAnalysis) throws FusionException {
    super(relAnalysis, new MayPointsToTransferFunctions(null, null));
    types = new EqualityOnlyTypeHierarchy();
  }

View Full Code Here

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

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


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

View Full Code Here

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

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


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

View Full Code Here

TOP

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.