Packages

  • package root
    Definition Classes
    root
  • package org
    Definition Classes
    root
  • package opalj

    OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode.

    OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode. OPAL is designed with performance, scalability and adaptability in mind.

    Its main components are:

    • a library (Common) which provides generally useful data-structures and algorithms for static analyses.
    • a framework for implementing lattice based static analyses (Static Analysis Infrastructure)
    • a framework for parsing Java bytecode (Bytecode Infrastructure - org.opalj.bi) that can be used to create arbitrary representations.
    • a library to create a one-to-one in-memory representation of Java bytecode (Bytecode Disassembler - org.opalj.da).
    • a library to convert this representation to Java class files (Bytecode Creator - org.opalj.bc).
    • a library to create a representation of Java bytecode that facilitates writing simple static analyses (Bytecode Representation - org.opalj.br).
    • a library to create a stackless, three-address code representation of Java bytecode that facilitates writing complex static analyses (Three Address Code - org.opalj.tac).
    • a scalable, easily customizable framework for the abstract interpretation of Java bytecode (Abstract Interpretation Framework - org.opalj.ai).
    • a library to extract dependencies between code elements (Dependencies Extraction - org.opalj.de) and to facilitate checking architecture definitions (Architecture Validation - org.opalj.av).
    • a library for the lightweight manipulation and creation of Java bytecode (Bytecode Assembler - org.opalj.ba).
    • a library for parsing Android packages (APK - org.opalj.apk).
    • libraries for writing static analyses using the interprocedural finite distributive subset (IFDS - org.opalj.ifds) and interprocedural distributive environment (IDE - org.opal.ide) algorithms.

    General Design Decisions

    Thread Safety

    Unless explicitly noted, OPAL is thread safe. I.e., the classes defined by OPAL can be considered to be thread safe unless otherwise stated. (For example, it is possible to read and process class files concurrently without explicit synchronization on the client side.)

    No null Values

    Unless explicitly noted, OPAL does not null values I.e., fields that are accessible will never contain null values and methods will never return null. If a method accepts null as a value for a parameter or returns a null value it is always explicitly documented. In general, the behavior of methods that are passed null values is undefined unless explicitly documented.

    No Typecasts for Collections

    For efficiency reasons, OPAL sometimes uses mutable data-structures internally. After construction time, these data-structures are generally represented using their generic interfaces (e.g., scala.collection.{Set,Map}). However, a downcast (e.g., to add/remove elements) is always forbidden as it would effectively prevent thread-safety.

    Assertions

    OPAL makes heavy use of Scala's Assertion Facility to facilitate writing correct code. Hence, for production builds (after thorough testing(!)) it is highly recommend to build OPAL again using -Xdisable-assertions.

    Definition Classes
    org
  • package tac

    Common definitions related to the definition and processing of three address code.

    Common definitions related to the definition and processing of three address code.

    Definition Classes
    opalj
  • package fpcf
    Definition Classes
    tac
  • package analyses
    Definition Classes
    fpcf
  • package alias
    Definition Classes
    analyses
  • package pointsto
    Definition Classes
    alias
  • AbstractPointsToBasedAliasAnalysis
  • AllocationSitePointsToBasedAliasAnalysis
  • AllocationSitePointsToBasedAliasAnalysisState
  • LazyAllocationSitePointsToBasedAliasAnalysisScheduler
  • LazyTypePointsToBasedAliasAnalysisScheduler
  • PointsToBasedAliasAnalysisScheduler
  • PointsToBasedAliasAnalysisState
  • TypePointsToBasedAliasAnalysis
  • TypePointsToBasedAliasAnalysisState
c

org.opalj.tac.fpcf.analyses.alias.pointsto

AllocationSitePointsToBasedAliasAnalysisState

class AllocationSitePointsToBasedAliasAnalysisState extends AllocationSiteBasedAliasAnalysisState with PointsToBasedAliasAnalysisState[AllocationSite, AllocationSiteBasedAliasSet, AllocationSitePointsToSet]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AllocationSitePointsToBasedAliasAnalysisState
  2. PointsToBasedAliasAnalysisState
  3. TacBasedAliasAnalysisState
  4. AllocationSiteBasedAliasAnalysisState
  5. SetBasedAliasAnalysisState
  6. AliasAnalysisState
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new AllocationSitePointsToBasedAliasAnalysisState()

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addElementDependency(ase: AliasSourceElement, dependency: EOptionP[Entity, Property])(implicit context: AliasAnalysisContext): Unit

    Adds the given entity property pair to the set of dependees of the given AliasSourceElement and the set of all dependees.

    Adds the given entity property pair to the set of dependees of the given AliasSourceElement and the set of all dependees.

    Definition Classes
    PointsToBasedAliasAnalysisState
  5. def addField1Dependency(dependency: EOptionP[Entity, Property]): Unit

    adds the given entity property pair to the set of field dependees of the first AliasSourceElement.

    adds the given entity property pair to the set of field dependees of the first AliasSourceElement.

    Definition Classes
    PointsToBasedAliasAnalysisState
  6. def addField2Dependency(dependency: EOptionP[Entity, Property]): Unit

    adds the given entity property pair to the set of field dependees of the second AliasSourceElement.

    adds the given entity property pair to the set of field dependees of the second AliasSourceElement.

    Definition Classes
    PointsToBasedAliasAnalysisState
  7. def addFieldDependency(ase: AliasSourceElement, dependency: EOptionP[Entity, Property])(implicit context: AliasAnalysisContext): Unit

    Adds the given entity property pair to the set of field dependees of the given AliasSourceElement.

    Adds the given entity property pair to the set of field dependees of the given AliasSourceElement.

    Definition Classes
    PointsToBasedAliasAnalysisState
  8. def addPointsTo(ase: AliasSourceElement, context: Context, pc: PC)(implicit aliasContext: AliasAnalysisContext): Unit
    Definition Classes
    AllocationSiteBasedAliasAnalysisState
  9. def addPointsTo(ase: AliasSourceElement, element: AllocationSite)(implicit aliasContext: AliasAnalysisContext): Unit

    adds the given element set to the AliasSetLike of the given AliasSourceElement.

    adds the given element set to the AliasSetLike of the given AliasSourceElement.

    Definition Classes
    SetBasedAliasAnalysisState
  10. def addTacEPSToMethod(eps: SomeEPS, m: Method): Unit

    Associates the given TAC EPS with the given method.

    Associates the given TAC EPS with the given method.

    Definition Classes
    TacBasedAliasAnalysisState
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  13. def createAliasSet(): AllocationSiteBasedAliasSet

    Creates a new AliasSetLike of the used type

    Creates a new AliasSetLike of the used type

    Attributes
    protected[this]
    Definition Classes
    AllocationSiteBasedAliasAnalysisState → SetBasedAliasAnalysisState
  14. def element1Dependees: Set[Entity]

    returns

    A set containing all elements that the first AliasSourceElement depends on.

    Definition Classes
    PointsToBasedAliasAnalysisState
  15. def element1HasDependency(dependency: EOptionP[Entity, Property]): Boolean

    returns

    true if the given AliasSourceElement has a dependency on the given entity property pair.

    Definition Classes
    PointsToBasedAliasAnalysisState
  16. def element2Dependees: Set[Entity]

    returns

    A set containing all elements that the second AliasSourceElement depends on.

    Definition Classes
    PointsToBasedAliasAnalysisState
  17. def element2HasDependency(dependency: EOptionP[Entity, Property]): Boolean

    returns

    true if the given AliasSourceElement has a dependency on the given entity property pair.

    Definition Classes
    PointsToBasedAliasAnalysisState
  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  20. def field1HasDependency(dependency: EOptionP[Entity, Property]): Boolean

    returns

    true if the first AliasSourceElement has a field dependency on the given entity property pair.

    Definition Classes
    PointsToBasedAliasAnalysisState
  21. def field2HasDependency(dependency: EOptionP[Entity, Property]): Boolean

    returns

    true if the second AliasSourceElement has a field dependency on the given entity property pair.

    Definition Classes
    PointsToBasedAliasAnalysisState
  22. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  23. def getMethodForTacEPS(eps: SomeEPS): Method

    Returns the method that is represented by the given TAC EPS.

    Returns the method that is represented by the given TAC EPS.

    Definition Classes
    TacBasedAliasAnalysisState
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  25. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  29. def oldPointsToSet(ase: AliasSourceElement, e: Entity)(implicit context: AliasAnalysisContext): Option[AllocationSitePointsToSet]

    returns

    The most recent points-to set of the given points-to entity that has been completely handled for the given AliasSourceElement.

    Definition Classes
    PointsToBasedAliasAnalysisState
  30. def pointsTo1: AllocationSiteBasedAliasSet

    returns

    The current AliasSetLike for the first AliasSourceElement.

    Definition Classes
    SetBasedAliasAnalysisState
  31. def pointsTo2: AllocationSiteBasedAliasSet

    returns

    The current AliasSetLike for the second AliasSourceElement.

    Definition Classes
    SetBasedAliasAnalysisState
  32. def removeElementDependency(dependency: EOptionP[Entity, Property]): Unit

    Removes the given entity property pair from element dependency set and the set of all dependencies.

    Removes the given entity property pair from element dependency set and the set of all dependencies.

    Definition Classes
    PointsToBasedAliasAnalysisState
  33. def removeFieldDependency(dependency: EOptionP[Entity, Property]): Unit

    Removes the given entity property pair from the set of field dependees of all AliasSourceElements.

    Removes the given entity property pair from the set of field dependees of all AliasSourceElements.

    Definition Classes
    PointsToBasedAliasAnalysisState
  34. def setOldPointsToSet(ase: AliasSourceElement, e: Entity, pointsToSet: AllocationSitePointsToSet)(implicit context: AliasAnalysisContext): Unit

    Updates the points-to set of the given points-to entity that has been completely handled for the given AliasSourceElement.

    Updates the points-to set of the given points-to entity that has been completely handled for the given AliasSourceElement.

    Definition Classes
    PointsToBasedAliasAnalysisState
  35. def setPointsToAny(ase: AliasSourceElement)(implicit context: AliasAnalysisContext): Unit

    Marks that the given AliasSourceElement can point to any arbitrary element

    Marks that the given AliasSourceElement can point to any arbitrary element

    Definition Classes
    SetBasedAliasAnalysisState
  36. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  37. def tacai1: Option[TACode[TACMethodParameter, V]]

    Returns the TACAI for the first alias source element.

    Returns the TACAI for the first alias source element.

    If the element is not method bound, None is returned.

    returns

    The TACAI for the first alias source element.

    Definition Classes
    TacBasedAliasAnalysisState
  38. def tacai2: Option[TACode[TACMethodParameter, V]]

    Returns the TACAI for the second alias source element.

    Returns the TACAI for the second alias source element.

    If the element is not method bound, None is returned.

    returns

    The TACAI for the second alias source element.

    Definition Classes
    TacBasedAliasAnalysisState
  39. def toString(): String
    Definition Classes
    AnyRef → Any
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
    Deprecated

Ungrouped