Package com.ensoftcorp.open.pointsto.preferences

Class PointsToPreferences

  • public class PointsToPreferences
extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

    • Field Detail

      • RUN_POINTS_TO_ANALYSIS

        public static final java.lang.String RUN_POINTS_TO_ANALYSIS
        Enable/disable points-to analysis
        See Also:
        Constant Field Values

      • RUN_POINTS_TO_ANALYSIS_DEFAULT

        public static final java.lang.Boolean RUN_POINTS_TO_ANALYSIS_DEFAULT

      • POINTS_TO_ANALYSIS_MODE

        public static final java.lang.String POINTS_TO_ANALYSIS_MODE
        See Also:
        Constant Field Values

      • JIMPLE_POINTS_TO_ANALYSIS_MODE

        public static final java.lang.String JIMPLE_POINTS_TO_ANALYSIS_MODE
        See Also:
        Constant Field Values

      • JAVA_POINTS_TO_ANALYSIS_MODE

        public static final java.lang.String JAVA_POINTS_TO_ANALYSIS_MODE
        See Also:
        Constant Field Values

      • POINTS_TO_ANALYSIS_MODE_DEFAULT

        public static final java.lang.String POINTS_TO_ANALYSIS_MODE_DEFAULT
        See Also:
        Constant Field Values

      • GENERAL_LOGGING

        public static final java.lang.String GENERAL_LOGGING
        Enable/disable general logging
        See Also:
        Constant Field Values

      • GENERAL_LOGGING_DEFAULT

        public static final java.lang.Boolean GENERAL_LOGGING_DEFAULT

      • COLLAPSE_SCCS

        public static final java.lang.String COLLAPSE_SCCS
        Enable/disable collapsing SCCs
        See Also:
        Constant Field Values

      • COLLAPSE_SCCS_DEFAULT

        public static final java.lang.Boolean COLLAPSE_SCCS_DEFAULT

      • POINTS_TO_ANALYSIS_FRONTIER_MODE

        public static final java.lang.String POINTS_TO_ANALYSIS_FRONTIER_MODE
        See Also:
        Constant Field Values

      • POINTS_TO_ANALYSIS_FIFO_FRONTIER_MODE

        public static final java.lang.String POINTS_TO_ANALYSIS_FIFO_FRONTIER_MODE
        See Also:
        Constant Field Values

      • POINTS_TO_ANALYSIS_LIFO_FRONTIER_MODE

        public static final java.lang.String POINTS_TO_ANALYSIS_LIFO_FRONTIER_MODE
        See Also:
        Constant Field Values

      • POINTS_TO_ANALYSIS_LRU_FRONTIER_MODE

        public static final java.lang.String POINTS_TO_ANALYSIS_LRU_FRONTIER_MODE
        See Also:
        Constant Field Values

      • POINTS_TO_ANALYSIS_FRONTIER_MODE_DEFAULT

        public static final java.lang.String POINTS_TO_ANALYSIS_FRONTIER_MODE_DEFAULT
        See Also:
        Constant Field Values

      • ARRAY_COMPONENT_TRACKING

        public static final java.lang.String ARRAY_COMPONENT_TRACKING
        Enable/disable tracking array read/writes
        See Also:
        Constant Field Values

      • ARRAY_COMPONENT_TRACKING_DEFAULT

        public static final java.lang.Boolean ARRAY_COMPONENT_TRACKING_DEFAULT

      • TAG_ALIASES

        public static final java.lang.String TAG_ALIASES
        Enable/disable tagging aliases
        See Also:
        Constant Field Values

      • TAG_ALIASES_DEFAULT

        public static final java.lang.Boolean TAG_ALIASES_DEFAULT

      • TAG_INFERRED_DATAFLOWS

        public static final java.lang.String TAG_INFERRED_DATAFLOWS
        Enable/disable tagging inferred dataflows
        See Also:
        Constant Field Values

      • TAG_INFERRED_DATAFLOWS_DEFAULT

        public static final java.lang.Boolean TAG_INFERRED_DATAFLOWS_DEFAULT

      • REWRITE_ARRAY_COMPONENTS

        public static final java.lang.String REWRITE_ARRAY_COMPONENTS
        Enable/disable rewriting array components
        See Also:
        Constant Field Values

      • REWRITE_ARRAY_COMPONENTS_DEFAULT

        public static final java.lang.Boolean REWRITE_ARRAY_COMPONENTS_DEFAULT

      • TRACK_PRIMITIVES

        public static final java.lang.String TRACK_PRIMITIVES
        Enable/disable tracking of primitives (very expensive) Also enables modeling JDK data flows of primitive instantiations for bytecode
        See Also:
        Constant Field Values

      • TRACK_PRIMITIVES_DEFAULT

        public static final java.lang.Boolean TRACK_PRIMITIVES_DEFAULT

      • TAG_RUNTIME_TYPES

        public static final java.lang.String TAG_RUNTIME_TYPES
        Enable/disable tagging of runtime types
        See Also:
        Constant Field Values

      • TAG_RUNTIME_TYPES_DEFAULT

        public static final java.lang.Boolean TAG_RUNTIME_TYPES_DEFAULT

      • DISPOSE_RESOURCES

        public static final java.lang.String DISPOSE_RESOURCES
        Enable/disable disposal of points-to resources
        See Also:
        Constant Field Values

      • DISPOSE_RESOURCES_DEFAULT

        public static final java.lang.Boolean DISPOSE_RESOURCES_DEFAULT

    • Constructor Detail

      • PointsToPreferences

        public PointsToPreferences()

    • Method Detail

      • getPreferenceStore

        public static org.eclipse.jface.preference.IPreferenceStore getPreferenceStore()
        Returns the preference store used for these preferences
        Returns:

      • enabledPointsToAnalysis

        public static void enabledPointsToAnalysis​(boolean enabled)
        Configures whether or not points-to analysis should be run

      • isPointsToAnalysisEnabled

        public static boolean isPointsToAnalysisEnabled()
        Returns true if points-to analysis is enabled
        Returns:

      • setJavaPointsToAnalysisMode

        public static void setJavaPointsToAnalysisMode()
        Configures points-to analysis mode to target Java source

      • isJavaPointsToAnalysisModeEnabled

        public static boolean isJavaPointsToAnalysisModeEnabled()
        Returns true if java points-to analysis is enabled
        Returns:

      • setJimplePointsToAnalysisMode

        public static void setJimplePointsToAnalysisMode()
        Configures points-to analysis mode to target Jimple

      • isJimplePointsToAnalysisModeEnabled

        public static boolean isJimplePointsToAnalysisModeEnabled()
        Returns true if jimple points-to analysis is enabled
        Returns:

      • enableGeneralLogging

        public static void enableGeneralLogging​(boolean enabled)
        Configures general logging

      • isGeneralLoggingEnabled

        public static boolean isGeneralLoggingEnabled()
        Returns true if general logging is enabled
        Returns:

      • enableCollapsingSCCs

        public static void enableCollapsingSCCs​(boolean enabled)
        Configures collapsing SCCs

      • isCollapsingSCCsEnabled

        public static boolean isCollapsingSCCsEnabled()
        Returns true if collapsing SCCs is enabled
        Returns:

      • setPointsToAnalysisFIFOFrontierMode

        public static void setPointsToAnalysisFIFOFrontierMode()
        Configures points-to analysis frontier mode to use FIFO mode

      • isPointsToAnalysisFIFOFrontierMode

        public static boolean isPointsToAnalysisFIFOFrontierMode()
        Returns true if points-to analysis FIFO frontier is enabled
        Returns:

      • setPointsToAnalysisLIFOFrontierMode

        public static void setPointsToAnalysisLIFOFrontierMode()
        Configures points-to analysis frontier mode to use LIFO mode

      • isPointsToAnalysisLIFOFrontierMode

        public static boolean isPointsToAnalysisLIFOFrontierMode()
        Returns true if points-to analysis LIFO frontier is enabled
        Returns:

      • setPointsToAnalysisLRUFrontierMode

        public static void setPointsToAnalysisLRUFrontierMode()
        Configures points-to analysis frontier mode to use LRU mode

      • isPointsToAnalysisLRUFrontierMode

        public static boolean isPointsToAnalysisLRUFrontierMode()
        Returns true if points-to analysis LRU frontier is enabled
        Returns:

      • enableArrayComponentTracking

        public static void enableArrayComponentTracking​(boolean enabled)
        Configures array read/write tracking

      • isArrayComponentTrackingEnabled

        public static boolean isArrayComponentTrackingEnabled()

      • enableTagAliases

        public static void enableTagAliases​(boolean enabled)
        Configures alias tagging

      • isTagAliasesEnabled

        public static boolean isTagAliasesEnabled()

      • enableTagInferredDataflows

        public static void enableTagInferredDataflows​(boolean enabled)
        Configures inferred data flow tagging

      • isTagInferredDataflowsEnabled

        public static boolean isTagInferredDataflowsEnabled()

      • enableRewriteArrayComponents

        public static void enableRewriteArrayComponents​(boolean enabled)
        Configures array component rewritting

      • isRewriteArrayComponentsEnabled

        public static boolean isRewriteArrayComponentsEnabled()

      • enableTrackPrimitives

        public static void enableTrackPrimitives​(boolean enabled)
        Configures primitive tracking

      • isTrackPrimitivesEnabled

        public static boolean isTrackPrimitivesEnabled()

      • enableTagRuntimeTypes

        public static void enableTagRuntimeTypes​(boolean enabled)
        Configures runtime type tagging

      • isTagRuntimeTypesEnabled

        public static boolean isTagRuntimeTypesEnabled()

      • enableDisposeResources

        public static void enableDisposeResources​(boolean enabled)
        Configures resource disposal

      • isDisposeResourcesEnabled

        public static boolean isDisposeResourcesEnabled()

      • initializeDefaultPreferences

        public void initializeDefaultPreferences()
        Specified by:
        initializeDefaultPreferences in class org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

      • restoreDefaults

        public static void restoreDefaults()
        Restores the default preferences

      • loadPreferences

        public static void loadPreferences()
        Loads or refreshes current preference values