Packages

t

org.opalj.tac.fpcf.analyses.escape

AbstractInterProceduralEscapeAnalysis

trait AbstractInterProceduralEscapeAnalysis extends AbstractEscapeAnalysis

Adds inter-procedural behavior to escape analyses. Uses the call graph associated with the Callees properties. It queries the escape state of the org.opalj.br.analyses.VirtualFormalParameter of the targets.

Source
AbstractInterProceduralEscapeAnalysis.scala
Linear Supertypes
AbstractEscapeAnalysis, FPCFAnalysis, ProjectBasedAnalysis, AnyRef, Any
Known Subclasses
InterProceduralEscapeAnalysis
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AbstractInterProceduralEscapeAnalysis
  2. AbstractEscapeAnalysis
  3. FPCFAnalysis
  4. ProjectBasedAnalysis
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def createContext(entity: (Context, Entity), defSitePC: ValueOrigin, targetMethod: Method): AnalysisContext
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  2. abstract def createState: AnalysisState
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  3. abstract def determineEscapeOfFP(fp: (Context, VirtualFormalParameter)): ProperPropertyComputationResult
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  4. abstract def handleArrayStore(arrayStore: ArrayStore[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    Same as handlePutField.

    Same as handlePutField.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  5. abstract def handleInvokedynamicFunctionCall(call: InvokedynamicFunctionCall[V], hasAssignment: Boolean)(implicit context: AnalysisContext, state: AnalysisState): Unit

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  6. abstract def handleInvokedynamicMethodCall(call: InvokedynamicMethodCall[V])(implicit context: AnalysisContext, state: AnalysisState): Unit
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  7. abstract def handleOtherKindsOfExpressions(expr: Expr[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    All basic analyses only care about function calls for org.opalj.tac.Assignment or org.opalj.tac.ExprStmt, but if a future analysis requires handling other expressions, it can override this method.

    All basic analyses only care about function calls for org.opalj.tac.Assignment or org.opalj.tac.ExprStmt, but if a future analysis requires handling other expressions, it can override this method.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  8. abstract def handlePutField(putField: PutField[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    Putting an entity into a field can lead to an escape if the base of that field escapes or let its field escape.

    Putting an entity into a field can lead to an escape if the base of that field escapes or let its field escape.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  9. abstract def handleThisLocalOfConstructor(call: NonVirtualMethodCall[V])(implicit context: AnalysisContext, state: AnalysisState): Unit
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  10. abstract def handleThrow(aThrow: Throw[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    Thrown exceptions that are not caught would lead to a org.opalj.br.fpcf.properties.EscapeViaAbnormalReturn.

    Thrown exceptions that are not caught would lead to a org.opalj.br.fpcf.properties.EscapeViaAbnormalReturn. This analysis does not check whether the exception is caught or not.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
    See also

    org.opalj.tac.fpcf.analyses.escape.ExceptionAwareEscapeAnalysis which overrides this very simple behavior.

  11. abstract val project: SomeProject
    Definition Classes
    ProjectBasedAnalysis

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 analyzeTAC()(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    Analyzes each TAC statement of the given method.

    Analyzes each TAC statement of the given method. This methods assumes that there is at least an intermediate result for the TAC present.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def c(someEPS: SomeEPS)(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    A continuation function, that handles the updates of property values for entity other.

    A continuation function, that handles the updates of property values for entity other.

    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  7. final def ch: ClassHierarchy
    Definition Classes
    ProjectBasedAnalysis
  8. implicit final def classHierarchy: ClassHierarchy
    Definition Classes
    ProjectBasedAnalysis
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  10. implicit val declaredMethods: DeclaredMethods
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  11. def determineEscape(e: Entity): ProperPropertyComputationResult

    Extracts information from the given entity and should call doDetermineEscape afterwards.

    Extracts information from the given entity and should call doDetermineEscape afterwards. For some entities a result might be returned immediately.

    Definition Classes
    AbstractEscapeAnalysis
  12. def determineEscapeOfDS(dsl: (Context, DefinitionSiteLike)): ProperPropertyComputationResult
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  13. def doDetermineEscape(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    Retrieves the TAC and starts the analysis, if there is already a (intermediate) version of it.

    Retrieves the TAC and starts the analysis, if there is already a (intermediate) version of it. Otherwise, continue when a TAC is available.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  16. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  17. def handleAssignment(assignment: Assignment[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    org.opalj.tac.Assignments can contain function calls, so they have to handle them.

    org.opalj.tac.Assignments can contain function calls, so they have to handle them.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  18. def handleExprStmt(exprStmt: ExprStmt[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    org.opalj.tac.ExprStmt can contain function calls, so they have to handle them.

    org.opalj.tac.ExprStmt can contain function calls, so they have to handle them.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  19. def handleExpression(expr: Expr[V], hasAssignment: Boolean)(implicit context: AnalysisContext, state: AnalysisState): Unit

    Currently, the only expressions that can lead to an escape are the different kinds of function calls.

    Currently, the only expressions that can lead to an escape are the different kinds of function calls. So this method delegates to them. In the case of another expression org.opalj.tac.fpcf.analyses.escape.AbstractEscapeAnalysis.handleOtherKindsOfExpressions will be called.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  20. def handleNonVirtualAndNonConstructorCall(call: NonVirtualMethodCall[V])(implicit context: AnalysisContext, state: AnalysisState): Unit
    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  21. def handleNonVirtualFunctionCall(call: NonVirtualFunctionCall[V], hasAssignment: Boolean)(implicit context: AnalysisContext, state: AnalysisState): Unit

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  22. def handleNonVirtualMethodCall(call: NonVirtualMethodCall[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  23. def handleParameterOfConstructor(call: NonVirtualMethodCall[V])(implicit context: AnalysisContext, state: AnalysisState): Unit
    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  24. def handleStaticFunctionCall(call: StaticFunctionCall[V], hasAssignment: Boolean)(implicit context: AnalysisContext, state: AnalysisState): Unit

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  25. def handleStaticMethodCall(call: StaticMethodCall[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  26. def handleVirtualFunctionCall(call: VirtualFunctionCall[V], hasAssignment: Boolean)(implicit context: AnalysisContext, state: AnalysisState): Unit

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  27. def handleVirtualMethodCall(call: VirtualMethodCall[V])(implicit context: AnalysisContext, state: AnalysisState): Unit

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    Passing an entity as argument to a call, will make the entity at most org.opalj.br.fpcf.properties.EscapeInCallee.

    This analysis only uses intra-procedural knowledge and does not take the behavior of the called method(s) into consideration.

    Attributes
    protected[this]
    Definition Classes
    AbstractInterProceduralEscapeAnalysis → AbstractEscapeAnalysis
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. implicit final def logContext: LogContext
    Definition Classes
    ProjectBasedAnalysis
  31. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  32. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  33. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  34. implicit final def p: SomeProject
    Definition Classes
    ProjectBasedAnalysis
  35. implicit final val propertyStore: PropertyStore
    Definition Classes
    FPCFAnalysis
  36. final def ps: PropertyStore
    Definition Classes
    FPCFAnalysis
  37. def returnResult(implicit context: AnalysisContext, state: AnalysisState): ProperPropertyComputationResult

    This method is called, after the entity has been analyzed.

    This method is called, after the entity has been analyzed. If there is no dependee left or the entity escapes globally, the result is returned directly. Otherwise, the maybe version of the current escape state is returned as org.opalj.fpcf.InterimResult.

    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  38. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  39. def toString(): String
    Definition Classes
    AnyRef → Any
  40. implicit val typeIterator: TypeIterator
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  41. lazy val virtualFormalParameters: VirtualFormalParameters
    Attributes
    protected[this]
    Definition Classes
    AbstractEscapeAnalysis
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  44. 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

Inherited from AbstractEscapeAnalysis

Inherited from FPCFAnalysis

Inherited from ProjectBasedAnalysis

Inherited from AnyRef

Inherited from Any

Ungrouped