edu.umd.cs.findbugs.ba
public interface AnalysisFeatures
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 | 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. |