abstract class TamiFlexPointsToArraySetAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- TamiFlexPointsToArraySetAnalysis
- TACAIBasedAPIBasedAnalysis
- APIBasedAnalysis
- PointsToAnalysisBase
- TypeConsumerAnalysis
- AbstractPointsToBasedAnalysis
- ContextualAnalysis
- FPCFAnalysis
- ProjectBasedAnalysis
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new TamiFlexPointsToArraySetAnalysis(project: SomeProject)
Type Members
- type ContextType = cg.TypeIterator.ContextType
- Definition Classes
- TypeConsumerAnalysis
- type DependerType = AnyRef
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase → AbstractPointsToBasedAnalysis
- abstract type ElementType
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- abstract type PointsToSet >: Null <: PointsToSetLike[ElementType, _, PointsToSet]
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- type PropertyType = cg.TypeIterator.PropertyType
- Definition Classes
- TypeConsumerAnalysis
- type State = PointsToAnalysisState[ElementType, PointsToSet, ContextType]
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase → AbstractPointsToBasedAnalysis
Abstract Value Members
- abstract def createPointsToSet(pc: Int, callContext: ContextType, allocatedType: ReferenceType, isConstant: Boolean, isEmptyArray: Boolean = false): PointsToSet
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- abstract def emptyPointsToSet: PointsToSet
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- abstract def getTypeIdOf(element: ElementType): Int
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- abstract def getTypeOf(element: ElementType): ReferenceType
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- abstract def isEmptyArray(element: ElementType): Boolean
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- abstract val pointsToPropertyKey: PropertyKey[PointsToSet]
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
Concrete 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
- val apiMethod: DeclaredMethod
- Definition Classes
- TamiFlexPointsToArraySetAnalysis → APIBasedAnalysis
- 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()
- 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[Field], 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[Field], 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
- PointsToAnalysisBase
- 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 createResults(implicit state: State): ArrayBuffer[ProperPropertyComputationResult]
- Attributes
- protected[this]
- Definition Classes
- 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 declaredMethods: DeclaredMethods
- Definition Classes
- APIBasedAnalysis
- implicit val definitionSites: DefinitionSites
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- 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 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[Field], pc: Int, objRefDefSites: IntTrieSet, checkForCast: Boolean = true)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handleGetStatic(field: Field, pc: Int, checkForCast: Boolean = true)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- final def handleNewCaller(calleeContext: ContextType, callerContext: ContextType, pc: Int, isDirect: Boolean): ProperPropertyComputationResult
- Definition Classes
- TACAIBasedAPIBasedAnalysis → APIBasedAnalysis
- def handlePutField(fieldOpt: Option[Field], objRefDefSites: IntTrieSet, rhsDefSites: IntTrieSet)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def handlePutStatic(field: Field, rhsDefSites: IntTrieSet)(implicit state: State): Unit
- Attributes
- protected[this]
- Definition Classes
- PointsToAnalysisBase
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- implicit final def logContext: LogContext
- Definition Classes
- ProjectBasedAnalysis
- 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 final def p: SomeProject
- Definition Classes
- ProjectBasedAnalysis
- def pointsToUB(eOptP: EOptionP[Entity, PointsToSet]): PointsToSet
- Attributes
- protected[this]
- Definition Classes
- AbstractPointsToBasedAnalysis
- Annotations
- @inline()
- def processNewCaller(calleeContext: ContextType, callerContext: ContextType, pc: Int, tac: TACode[TACMethodParameter, V], receiverOption: Option[Expr[V]], params: Seq[Option[Expr[V]]], targetVarOption: Option[V], isDirect: Boolean): ProperPropertyComputationResult
- Definition Classes
- TamiFlexPointsToArraySetAnalysis → TACAIBasedAPIBasedAnalysis
- final val project: SomeProject
- Definition Classes
- TamiFlexPointsToArraySetAnalysis → ProjectBasedAnalysis
- implicit final val propertyStore: PropertyStore
- Definition Classes
- FPCFAnalysis
- final def ps: PropertyStore
- Definition Classes
- FPCFAnalysis
- final def registerAPIMethod(): ProperPropertyComputationResult
- Definition Classes
- APIBasedAnalysis
- 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