Esforço
O valor do esforço ajusta os sinalizadores internos do SpotBugs, para reduzir o custo da computação por meio da redução de predição.
A configuração de esforço default é a mesma com more
.
Sinalizadores no FindBugs.java |
Descrição |
Nível de esforço |
|||
---|---|---|---|---|---|
min |
less |
more |
max |
||
Exceções precisas |
Determina (1) quais exceções podem ser lançadas nas bordas da exceção, (2)quais blocos de captura são alcançáveis, e (3) quais bordas de exceção carregamapenas exceções de tempo de execução implícitas “implicit”. |
✔ |
✔ |
✔ |
|
Modelo Instanceof |
Modelar o efeito de verificações na análise de tipo instanceof |
✔ |
✔ |
✔ |
|
Rastrear derefs de valor garantido na análise de ponteiro nulo |
Na análise de ponteiro nulo, rastreia os valores nulos que têm garantia de ser não referenciado em algum caminho (exceção não implícita). |
✔ |
✔ |
||
Rastrear Números de Valor na Análise de Ponteiro Nulo |
Na análise de ponteiro nulo, rastreia os números de valor que são conhecidos por serem null. Isso nos permite não perder o controle de valores nulos que não estão atualmente na pilha, mas podem estar em um local da heap onde o valor é recuperável por eliminação de carga redundante ou substituição direta. |
✔ |
✔ |
||
Análise interprocedural |
Habilitar análise interprocedural para classes de aplicação. |
✔ |
✔ |
||
Análise interprocedural de classes referenciadas |
Habilita a análise interprocedural para as classes referenciadas (não aplicado em classes). |
✔ |
|||
Conservar espaço |
Tenta economizar espaço em detrimento da precisão. Por exemplo, poda as arestas de lançamento de exceção incondicional para análise de grafos de fluxo de controle, para reduzir o consumo de memória. |
✔ |
|||
Pula métodos grandes |
Pula a análise de métodos se o tamanho de seu bytecode é muito grande (6.000). |
✔ |
✔ |
✔ |