FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba
Interface AnalysisFeatures


public interface AnalysisFeatures

Boolean analysis properties for use in the AnalysisContext. These can be used to enable or disable various analysis features in the bytecode analysis framework.

Author:
David Hovemeyer

Nested Class Summary
static interface AnalysisFeatures.AnalysisFeature
           
 
Field Summary
static int ACCURATE_EXCEPTIONS
          Determine (1) what exceptions can be thrown on exception edges, (2) which catch blocks are reachable, and (3) which exception edges carry only "implicit" runtime exceptions.
static int CONSERVE_SPACE
          A boolean flag which if set means that analyses should try to conserve space at the expense of precision.
static int INTERATIVE_OPCODE_STACK_ANALYSIS
          Perform interative opcode stack analysis
static int MERGE_SIMILAR_WARNINGS
          Merge similar warnings.
static int MODEL_INSTANCEOF
          If true, model the effect of instanceof checks in type analysis.
static int NUM_BOOLEAN_ANALYSIS_PROPERTIES
          Number of boolean analysis properties reserved for the bytecode analysis framework.
static int SKIP_HUGE_METHODS
          Skip generating CFG's and methodGen's for huge methods
static int TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS
          In the null pointer analysis, track null values that are guaranteed to be dereferenced on some (non-implicit-exception) path.
static int TRACK_VALUE_NUMBERS_IN_NULL_POINTER_ANALYSIS
          In the null pointer analysis, track value numbers that are known to be null.
 

Field Detail

ACCURATE_EXCEPTIONS

@AnalysisFeatures.AnalysisFeature
static final int ACCURATE_EXCEPTIONS
Determine (1) what exceptions can be thrown on exception edges, (2) which catch blocks are reachable, and (3) which exception edges carry only "implicit" runtime exceptions.

See Also:
Constant Field Values

CONSERVE_SPACE

@AnalysisFeatures.AnalysisFeature
static final int CONSERVE_SPACE
A boolean flag which if set means that analyses should try to conserve space at the expense of precision.

See Also:
Constant Field Values

MODEL_INSTANCEOF

@AnalysisFeatures.AnalysisFeature
static final int MODEL_INSTANCEOF
If true, model the effect of instanceof checks in type analysis.

See Also:
Constant Field Values

SKIP_HUGE_METHODS

@AnalysisFeatures.AnalysisFeature
static final int SKIP_HUGE_METHODS
Skip generating CFG's and methodGen's for huge methods

See Also:
Constant Field Values

INTERATIVE_OPCODE_STACK_ANALYSIS

@AnalysisFeatures.AnalysisFeature
static final int INTERATIVE_OPCODE_STACK_ANALYSIS
Perform interative opcode stack analysis

See Also:
Constant Field Values

TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS

@AnalysisFeatures.AnalysisFeature
static final int TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS
In the null pointer analysis, track null values that are guaranteed to be dereferenced on some (non-implicit-exception) path.

See Also:
Constant Field Values

TRACK_VALUE_NUMBERS_IN_NULL_POINTER_ANALYSIS

@AnalysisFeatures.AnalysisFeature
static final int TRACK_VALUE_NUMBERS_IN_NULL_POINTER_ANALYSIS
In the null pointer analysis, track value numbers that are known to be null. This allows us to not lose track of null values that are not currently in the stack frame but might be in a heap location where the value is recoverable by redundant load elimination or forward substitution.

See Also:
Constant Field Values

MERGE_SIMILAR_WARNINGS

@AnalysisFeatures.AnalysisFeature
static final int MERGE_SIMILAR_WARNINGS
Merge similar warnings. If we are tracking warnings across versions, it is useful to merge all similar issues together. Otherwise, when we compare the warnings in two different versions, we will not be able to match them up correctly.

See Also:
Constant Field Values

NUM_BOOLEAN_ANALYSIS_PROPERTIES

@AnalysisFeatures.AnalysisFeature
static final int NUM_BOOLEAN_ANALYSIS_PROPERTIES
Number of boolean analysis properties reserved for the bytecode analysis framework. Clients of the framework may use property values >= this value.

See Also:
Constant Field Values

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.