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