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

Field Summary
static intACCURATE_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 intCONSERVE_SPACE
A boolean flag which if set means that analyses should try to conserve space at the expense of precision.
static intINTERATIVE_OPCODE_STACK_ANALYSIS
Perform interative opcode stack analysis
static intMODEL_INSTANCEOF
If true, model the effect of instanceof checks in type analysis.
static intNUM_BOOLEAN_ANALYSIS_PROPERTIES
Number of boolean analysis properties reserved for the bytecode analysis framework.
static intSKIP_HUGE_METHODS
Skip generating CFG's and methodGen's for huge methods
static intTRACK_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 intTRACK_VALUE_NUMBERS_IN_NULL_POINTER_ANALYSIS
In the null pointer analysis, track value numbers that are known to be null.

Field Detail

ACCURATE_EXCEPTIONS

public 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.

CONSERVE_SPACE

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

INTERATIVE_OPCODE_STACK_ANALYSIS

public static final int INTERATIVE_OPCODE_STACK_ANALYSIS
Perform interative opcode stack analysis

MODEL_INSTANCEOF

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

NUM_BOOLEAN_ANALYSIS_PROPERTIES

public 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.

SKIP_HUGE_METHODS

public static final int SKIP_HUGE_METHODS
Skip generating CFG's and methodGen's for huge methods

TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS

public 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.

TRACK_VALUE_NUMBERS_IN_NULL_POINTER_ANALYSIS

public 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.
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.