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

View Full Code Here

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


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

View Full Code Here

TOP

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

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

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

edu.cmu.cs.fusion.FusionCompleteAnalysis

edu.cmu.cs.fusion.FusionPragmaticUniqueAnalysis

org.eclipse.jdt.core.dom.ITypeBinding

org.eclipse.jdt.core.dom.IVariableBinding

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.