| edu.umd.cs.findbugs.ba.AnalysisFeatures
| AnalysisFeatures | | public interface AnalysisFeatures (Code) | | 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 |
| ACCURATE_EXCEPTIONS | | final public static int ACCURATE_EXCEPTIONS(Code) | | 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 | | final public static int CONSERVE_SPACE(Code) | | A boolean flag which if set means that analyses should try to
conserve space at the expense of precision.
|
| INTERATIVE_OPCODE_STACK_ANALYSIS | | final public static int INTERATIVE_OPCODE_STACK_ANALYSIS(Code) | | Perform interative opcode stack analysis
|
| MODEL_INSTANCEOF | | final public static int MODEL_INSTANCEOF(Code) | | If true, model the effect of instanceof checks in type analysis.
|
| NUM_BOOLEAN_ANALYSIS_PROPERTIES | | final public static int NUM_BOOLEAN_ANALYSIS_PROPERTIES(Code) | | Number of boolean analysis properties reserved for the bytecode analysis framework.
Clients of the framework may use property values >= this value.
|
| SKIP_HUGE_METHODS | | final public static int SKIP_HUGE_METHODS(Code) | | Skip generating CFG's and methodGen's for huge methods
|
| TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS | | final public static int TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS(Code) | | 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 | | final public static int TRACK_VALUE_NUMBERS_IN_NULL_POINTER_ANALYSIS(Code) | | 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.
|
|
|