Type Members

1.  trait AbstractPointsToAnalysis extends PointsToAnalysisBase with ReachableMethodAnalysis

   A context-insensitive points-to analysis, that uses an abstract PointsToSetLike in order to manage points-to sets.

2.  trait AbstractPointsToAnalysisScheduler extends FPCFTriggeredAnalysisScheduler
3.  trait AbstractPointsToBasedAnalysis extends FPCFAnalysis with ContextualAnalysis

   Provides methods in order to work with points-to sets.

4.  trait AllocationSiteBasedAnalysis extends AbstractPointsToBasedAnalysis
5.  class AllocationSiteBasedPointsToAnalysis extends AbstractPointsToAnalysis with AllocationSiteBasedAnalysis
6.  case class ArrayEntity[ElementType](element: ElementType) extends Product with Serializable

   Special entities, that are only used in the points-to analysis context.

7.  abstract class ArraycopyPointsToAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis

   Handles the effect of java.lang.System.arraycopy* to points-to sets.

8.  trait ArraycopyPointsToAnalysisScheduler extends BasicFPCFEagerAnalysisScheduler
9.  case class CallExceptions(defSite: DefinitionSite) extends Product with Serializable
10.  abstract class ConfiguredMethodsPointsToAnalysis extends PointsToAnalysisBase with TypeConsumerAnalysis

    Applies the impact of preconfigured methods to the points-to analysis.

    Applies the impact of preconfigured methods to the points-to analysis.

    TODO: example TODO: refer to the config file

11.  trait ConfiguredMethodsPointsToAnalysisScheduler extends FPCFTriggeredAnalysisScheduler
12.  abstract class LibraryPointsToAnalysis extends PointsToAnalysisBase

    Provides initial points to sets for the parameters of entry point methods, fields and arrays as required for library analysis.

    Provides initial points to sets for the parameters of entry point methods, fields and arrays as required for library analysis.

    Note: Does not mark public methods of instantiated types as entry points which would also be required for full library analysis.

13.  trait LibraryPointsToAnalysisScheduler extends FPCFEagerAnalysisScheduler
14.  case class MethodExceptions(context: Context) extends Product with Serializable
15.  abstract class NewInstanceAnalysis extends PointsToAnalysisBase

    Introduces object allocations for newInstance reflection methods.

16.  trait NewInstanceAnalysisScheduler extends BasicFPCFEagerAnalysisScheduler
17.  abstract class NewInstanceMethodAnalysis extends PointsToAnalysisBase with APIBasedAnalysis
18.  trait PointsToAnalysisBase extends AbstractPointsToBasedAnalysis with TypeConsumerAnalysis

    Base class for handling instructions in points-to analysis scenarios.

19.  class PointsToAnalysisState[ElementType, PointsToSet <: PointsToSetLike[ElementType, _, PointsToSet], ContextType <: Context] extends BaseAnalysisState with TACAIBasedAnalysisState[ContextType]

    Encapsulates the state of the analysis, analyzing a certain method using the org.opalj.tac.fpcf.analyses.pointsto.TypeBasedPointsToAnalysis.

20.  class ReflectionAllocationsAnalysis extends FPCFAnalysis

    Introduces additional allocation sites for reflection methods.

21.  class ReflectionMethodAllocationsAnalysis extends PointsToAnalysisBase with AllocationSiteBasedAnalysis with APIBasedAnalysis
22.  class TamiFlexLogData extends AnyRef

    Container class, to represent a tamiflex log: https://github.com/secure-software-engineering/tamiflex

23.  abstract class TamiFlexPointsToAnalysis extends PointsToAnalysisBase

    Handles the effect of tamiflex logs for the points-to sets.

24.  trait TamiFlexPointsToAnalysisScheduler extends BasicFPCFEagerAnalysisScheduler
25.  abstract class TamiFlexPointsToArrayGetAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis
26.  abstract class TamiFlexPointsToArraySetAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis
27.  abstract class TamiFlexPointsToClassGetMemberAnalysis extends PointsToAnalysisBase with APIBasedAnalysis
28.  abstract class TamiFlexPointsToClassGetMembersAnalysis extends PointsToAnalysisBase with APIBasedAnalysis
29.  abstract class TamiFlexPointsToFieldGetAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis
30.  abstract class TamiFlexPointsToFieldSetAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis
31.  abstract class TamiFlexPointsToNewInstanceAnalysis extends PointsToAnalysisBase with APIBasedAnalysis
32.  trait TypeBasedAnalysis extends AbstractPointsToBasedAnalysis

    Mix-in trait for points-to analyses using typesets (TypeBasedPointsToSet) as points-to sets.

33.  class TypeBasedPointsToAnalysis extends AbstractPointsToAnalysis with TypeBasedAnalysis

    An andersen-style points-to analysis, i.e.

    An andersen-style points-to analysis, i.e. points-to sets are modeled as subsets. It uses TypeBasedPointsToSet as points-to sets, i.e. does not differentiate allocation sites for the same types. The analysis is field-based, array-based and context-insensitive. As the analysis is build on top of the org.opalj.tac.TACAI, it is (implicitly) flow-sensitive (which is not the case for pure andersen-style).

    Points-to sets may be attached to the following entities:

    • org.opalj.tac.common.DefinitionSite for local variables.
    • org.opalj.br.Field for fields (either static of instance)
    • org.opalj.br.DeclaredMethod for the points-to set of the return values.
    • org.opalj.br.analyses.VirtualFormalParameter for the parameters of a method.
    • org.opalj.br.ObjectType for the element type of an array.
34.  abstract class UnsafeGetPointsToAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis
35.  abstract class UnsafePointsToAnalysis extends PointsToAnalysisBase

    Models effects of sun.misc.Unsafe to points-to sets.

36.  trait UnsafePointsToAnalysisScheduler extends BasicFPCFEagerAnalysisScheduler
37.  abstract class UnsafePutPointsToAnalysis extends PointsToAnalysisBase with TACAIBasedAPIBasedAnalysis