Interface AliasAnalysis


  • public interface AliasAnalysis
    An analysis that maps each local and field to the set of locals and fields that alias that value. Implementors of this interface determine the strength of the analysis. i.e. must-aliases vs. maybe aliases, flow sensitive vs. flow insensitive, etc. FIXME: I think we need an augmented interface for flow-sensitive analysis?
    Since:
    Ptolemy II 4.0
    Version:
    $Id$
    Author:
    Stephen Neuendorffer
    Pt.AcceptedRating:
    Red (cxh)
    Pt.ProposedRating:
    Red (cxh)
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      java.util.Set getAliasesOfAfter​(soot.Local local, soot.Unit unit)
      Return the set of other fields and locals that maybe reference the same object as the given field, at a point after the given unit.
      java.util.Set getAliasesOfAfter​(soot.SootField field, soot.Unit unit)
      Return the set of other fields and locals that reference the same object as the given field, at a point after the given unit.
      java.util.Set getAliasesOfBefore​(soot.Local local, soot.Unit unit)
      Return the set of other fields and locals that reference the same object as the given local, at a point before the given unit.
      java.util.Set getAliasesOfBefore​(soot.SootField field, soot.Unit unit)
      Return the set of other fields and locals that reference the same object as the given field, at a point before the given unit.
    • Method Detail

      • getAliasesOfBefore

        java.util.Set getAliasesOfBefore​(soot.SootField field,
                                         soot.Unit unit)
        Return the set of other fields and locals that reference the same object as the given field, at a point before the given unit.
      • getAliasesOfAfter

        java.util.Set getAliasesOfAfter​(soot.SootField field,
                                        soot.Unit unit)
        Return the set of other fields and locals that reference the same object as the given field, at a point after the given unit.
      • getAliasesOfBefore

        java.util.Set getAliasesOfBefore​(soot.Local local,
                                         soot.Unit unit)
        Return the set of other fields and locals that reference the same object as the given local, at a point before the given unit.
      • getAliasesOfAfter

        java.util.Set getAliasesOfAfter​(soot.Local local,
                                        soot.Unit unit)
        Return the set of other fields and locals that maybe reference the same object as the given field, at a point after the given unit.