class AllocationSiteBasedPointsToAnalysis extends AbstractPointsToAnalysis with AllocationSiteBasedAnalysis
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- AllocationSiteBasedPointsToAnalysis
- AllocationSiteBasedAnalysis
- AbstractPointsToAnalysis
- ReachableMethodAnalysis
- PointsToAnalysisBase
- TypeConsumerAnalysis
- AbstractPointsToBasedAnalysis
- ContextualAnalysis
- FPCFAnalysis
- ProjectBasedAnalysis
- FPCFAnalysis
- ProjectBasedAnalysis
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type ContextType = cg.TypeIterator.ContextType
- Definition Classes
- TypeConsumerAnalysis
- type DependerType = AnyRef
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase → AbstractPointsToBasedAnalysis
- type ElementType = Long
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- type PointsToSet = AllocationSitePointsToSet
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- type PropertyType = cg.TypeIterator.PropertyType
- Definition Classes
- TypeConsumerAnalysis
- type State = PointsToAnalysisState[ElementType, PointsToSet, ContextType]
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase → AbstractPointsToBasedAnalysis
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def analyze(declaredMethod: DeclaredMethod): PropertyComputationResult
- Definition Classes
- ReachableMethodAnalysis
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def ch: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
- implicit final def classHierarchy: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- implicit val contextProvider: ContextProvider
- Definition Classes
- TypeConsumerAnalysis
- def continuationForNewAllocationSitesAtArrayLoad(defSiteObject: Entity, arrayType: ArrayType, filter: (ReferenceType) => Boolean, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def continuationForNewAllocationSitesAtArrayStore(knownPointsTo: PointsToSet, rhsDefSitesEPS: Map[SomeEPK, SomeEOptionP], arrayType: ArrayType, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def continuationForNewAllocationSitesAtGetField(defSiteObject: Entity, fieldOpt: Option[DeclaredField], filter: (ReferenceType) => Boolean, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def continuationForNewAllocationSitesAtPutField(knownPointsTo: PointsToSet, rhsDefSitesEPS: Map[SomeEPK, SomeEOptionP], fieldOpt: Option[DeclaredField], dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def continuationForShared(e: Entity, dependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], state: State)(eps: SomeEPS): ProperPropertyComputationResult
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToAnalysis → PointsToAnalysisBase
- def continuationForTAC(declaredMethod: DeclaredMethod)(someEPS: SomeEPS): ProperPropertyComputationResult
- Attributes
- protected
- Definition Classes
- ReachableMethodAnalysis
- def createPartialResults(e: Entity, newPointsToSet: PointsToSet, newDependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)], updatePointsTo: (PointsToSet) => PointsToSet, isUpdate: Boolean = false)(implicit state: State): Seq[ProperPropertyComputationResult]
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- def createPointsToSet(pc: Int, callContext: ContextType, allocatedType: ReferenceType, isConstant: Boolean, isEmptyArray: Boolean = false): AllocationSitePointsToSet
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- def createResults(implicit state: State): ArrayBuffer[ProperPropertyComputationResult]
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToAnalysis → PointsToAnalysisBase
- def currentPointsTo(depender: Entity, dependee: Entity, typeFilter: (ReferenceType) => Boolean)(implicit state: State): PointsToSet
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- def currentPointsToOfDefSite(depender: DependerType, dependeeDefSite: Int, typeFilter: (ReferenceType) => Boolean = PointsToSetLike.noFilter)(implicit state: State): PointsToSet
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- def currentPointsToOfDefSites(depender: DependerType, defSites: IntTrieSet, typeFilter: (ReferenceType) => Boolean = PointsToSetLike.noFilter)(implicit state: State): Iterator[PointsToSet]
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- implicit val declaredFields: DeclaredFields
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- implicit val declaredMethods: DeclaredMethods
- Attributes
- protected
- Definition Classes
- ReachableMethodAnalysis
- implicit val definitionSites: DefinitionSites
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- def emptyPointsToSet: AllocationSitePointsToSet
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- implicit val formalParameters: VirtualFormalParameters
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def getDefSite(pc: Int)(implicit state: State): Entity
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- def getFormalParameter(index: Int, formalParameters: ArraySeq[VirtualFormalParameter], context: Context): Entity
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- def getTypeIdOf(element: AllocationSite): Int
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- def getTypeOf(element: AllocationSite): ReferenceType
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- def handleArrayLoad(arrayType: ArrayType, pc: Int, arrayDefSites: IntTrieSet, checkForCast: Boolean = true)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handleArrayStore(arrayType: ArrayType, arrayDefSites: IntTrieSet, rhsDefSites: IntTrieSet)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handleCallParameter(paramDefSites: IntTrieSet, paramIndex: Int, target: Context)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handleCallReceiver(receiverDefSites: IntTrieSet, target: Context, isNonVirtualCall: Boolean, indirectConstructorPCAndType: Option[(Int, ReferenceType)] = None)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handleGetField(fieldOpt: Option[DeclaredField], pc: Int, objRefDefSites: IntTrieSet, checkForCast: Boolean = true)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handleGetStatic(field: DeclaredField, pc: Int, checkForCast: Boolean = true)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handlePutField(fieldOpt: Option[DeclaredField], objRefDefSites: IntTrieSet, rhsDefSites: IntTrieSet)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handlePutStatic(field: DeclaredField, rhsDefSites: IntTrieSet)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def isEmptyArray(element: AllocationSite): Boolean
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- implicit final def logContext: LogContext
- Definition Classes
- ProjectBasedAnalysis
- val mergeClassConstants: Boolean
- Definition Classes
- AllocationSiteBasedAnalysis
- val mergeExceptions: Boolean
- Definition Classes
- AllocationSiteBasedAnalysis
- val mergeStringBuilderBuffer: Boolean
- Definition Classes
- AllocationSiteBasedAnalysis
- val mergeStringConstants: Boolean
- Definition Classes
- AllocationSiteBasedAnalysis
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- implicit def p: SomeProject
- Definition Classes
- ProjectBasedAnalysis → ProjectBasedAnalysis
- val pointsToPropertyKey: PropertyKey[AllocationSitePointsToSet]
- Attributes
- protected[this]
- Definition Classes
- AllocationSiteBasedAnalysis → AbstractPointsToBasedAnalysis
- def pointsToUB(eOptP: EOptionP[Entity, PointsToSet]): PointsToSet
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- def processMethod(callContext: ContextType, tacEP: EPS[Method, properties.TACAI]): ProperPropertyComputationResult
- Definition Classes
- AbstractPointsToAnalysis → ReachableMethodAnalysis
- def processMethodWithoutBody(callContext: ContextType): ProperPropertyComputationResult
- Attributes
- protected
- Definition Classes
- ReachableMethodAnalysis
- final val project: SomeProject
- Definition Classes
- AllocationSiteBasedPointsToAnalysis → ProjectBasedAnalysis → ProjectBasedAnalysis
- implicit final val propertyStore: PropertyStore
- Definition Classes
- FPCFAnalysis
- final def ps: PropertyStore
- Definition Classes
- FPCFAnalysis
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toEntity(defSite: Int)(implicit state: State): Entity
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- def toString(): String
- Definition Classes
- AnyRef → Any
- implicit val typeIterator: TypeIterator
- Definition Classes
- TypeConsumerAnalysis
- def updatedDependees(eps: SomeEPS, oldDependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]): Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- def updatedPointsToSet(oldPointsToSet: PointsToSet, newDependeePointsToSet: PointsToSet, dependee: SomeEPS, oldDependees: Map[SomeEPK, (SomeEOptionP, (ReferenceType) => Boolean)]): PointsToSet
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- Annotations
- @inline()
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
- Deprecated