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
t

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

PointsToBasedAliasAnalysisState

trait PointsToBasedAliasAnalysisState[ElementType, AliasSet <: AliasSetLike[ElementType, AliasSet], PointsToSet >: Null <: PointsToSetLike[_, _, PointsToSet]] extends TacBasedAliasAnalysisState with SetBasedAliasAnalysisState[ElementType, AliasSet]

Encapsulates the current state of an points-to based alias analysis.

It additionally contains the following information:

- The current dependees for each of the AliasSourceElement.

- The last points-to set for a given points-to entity that has been completely handled for am AliasSourceElement.

- The current field dependees for each AliasSourceElement. A field dependee is a definition site of an uVar that is used to access the field.

Source
PointsToBasedAliasAnalysisState.scala
Linear Supertypes
SetBasedAliasAnalysisState[ElementType, AliasSet], TacBasedAliasAnalysisState, AliasAnalysisState, AnyRef, Any
Known Subclasses
AllocationSitePointsToBasedAliasAnalysisState, TypePointsToBasedAliasAnalysisState
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PointsToBasedAliasAnalysisState
  2. SetBasedAliasAnalysisState
  3. TacBasedAliasAnalysisState
  4. AliasAnalysisState
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def createAliasSet(): AliasSet

    Creates a new AliasSetLike of the used type

    Creates a new AliasSetLike of the used type

    Attributes
    protected[this]
    Definition Classes
    SetBasedAliasAnalysisState

Concrete 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.

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

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

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

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

  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.

  8. def addPointsTo(ase: AliasSourceElement, element: ElementType)(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
  9. 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
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  12. def element1Dependees: Set[Entity]

    returns

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

  13. def element1HasDependency(dependency: EOptionP[Entity, Property]): Boolean

    returns

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

  14. def element2Dependees: Set[Entity]

    returns

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

  15. def element2HasDependency(dependency: EOptionP[Entity, Property]): Boolean

    returns

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

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

    returns

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

  19. def field2HasDependency(dependency: EOptionP[Entity, Property]): Boolean

    returns

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

  20. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  21. 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
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  27. def oldPointsToSet(ase: AliasSourceElement, e: Entity)(implicit context: AliasAnalysisContext): Option[PointsToSet]

    returns

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

  28. def pointsTo1: AliasSet

    returns

    The current AliasSetLike for the first AliasSourceElement.

    Definition Classes
    SetBasedAliasAnalysisState
  29. def pointsTo2: AliasSet

    returns

    The current AliasSetLike for the second AliasSourceElement.

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

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

  31. def removeFieldDependency(dependency: EOptionP[Entity, Property]): Unit

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

  32. def setOldPointsToSet(ase: AliasSourceElement, e: Entity, pointsToSet: PointsToSet)(implicit context: AliasAnalysisContext): Unit

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

  33. 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
  34. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  35. 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
  36. 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
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  40. 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

Inherited from SetBasedAliasAnalysisState[ElementType, AliasSet]

Inherited from TacBasedAliasAnalysisState

Inherited from AliasAnalysisState

Inherited from AnyRef

Inherited from Any

Ungrouped