Checker Framework GitHub

A ferramenta analisa o código-fonte Java para verificar e fazer cumprir os qualificadores de tipo definidos pelo Checker Framework. Suporta nullidade, mutabilidade e outros qualifiers por meio de anotações ou inferência e se integra a builds Gradle/Maven e GitHub Actions para expor problemas em ambientes de desenvolvimento e CI. Ao analisar o fluxo de dados e restrições de tipo, identifica violações como NPEs potenciais, aliasing involuntário ou violações de contrato.

Fluxo de trabalho conceitual: fornecer entradas (caminhos-fonte, classpath e bibliotecas de anotação); o analisador constrói um AST e um lattice de qualifiers, processa anotações, propaga restrições através de instruções e relata violações com informações precisas de arquivo e checker. Relatórios SARIF ou JSON podem ser exportados para automação.

Público-alvo: equipes de engenharia com grandes bases de código Java, autores de bibliotecas e engenheiros de CI que precisam de verificações reprodutíveis. Valor único: checkers plugáveis, qualifiers padrão e compatibilidade com ferramentas de construção comuns, permitindo aplicação escalável entre módulos.

Funções-chave e casos de uso: checkers padrão e personalizados, análises incrementais e completas, exportação SARIF, integração CI simples. Casos de uso: migração para null-safety estrita, auditoria de dependências para conformidade com qualifiers e aplicação de contratos em projetos multi-módulo.