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

  }


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

View Full Code Here

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

View Full Code Here


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

View Full Code Here

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


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

View Full Code Here

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


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

View Full Code Here

TOP

Related Classes of edu.cmu.cs.fusion.alias.MayPointsToTransferFunctions

edu.cmu.cs.crystal.analysis.metrics.LoopCounter

edu.cmu.cs.crystal.tac.model.Variable

edu.cmu.cs.fusion.debugging.FusionDebuggingAnalysis

edu.cmu.cs.fusion.FusionPragmaticSharedAnalysis

edu.cmu.cs.fusion.FusionSoundAnalysis

edu.cmu.cs.fusion.test.StubFusionAnalysis

edu.cmu.cs.fusion.test.TestRelationshipTransferFunction

org.eclipse.jdt.core.dom.ITypeBinding

org.eclipse.jdt.core.dom.SingleVariableDeclaration

java.util.Iterator

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.