static-analysis

Este repositório lista ferramentas de análise estática para todas as linguagens de programação, ferramentas de build, arquivos de configuração e muito mais. O foco está em ferramentas que melhoram a qualidade do código, como linters e formatadores. O site oficial, analysis-tools.dev, é baseado neste repositório e adiciona rankings, comentários de usuários e recursos adicionais, como vídeos, para cada ferramenta.

Patrocinadores

Este projeto não seria possível sem o generoso apoio dos nossos patrocinadores.

Se você também deseja apoiar este projeto, acesse nossa página do GitHub Sponsors.

Significado dos símbolos

• ©️ representa software proprietário. Todas as outras ferramentas são de código aberto.
• ℹ️ indica que a comunidade não recomenda a ferramenta para novos projetos. O ícone leva à issue de discussão.
• ⚠️ significa que a ferramenta não foi atualizada por mais de um ano, ou seu repositório foi arquivado.

Pull requests são muito bem-vindos!

Confira também o projeto irmão, awesome-dynamic-analysis.

Índice

Linguagens de Programação

ABAP	Erlang	PL/SQL
Ada	F#	Perl
Assembly	Fortran	Python
Awk	Go	R
C	Groovy	Rego
C#	Haskell	Ruby
C++	Haxe	Rust
Clojure	Java	SQL
CoffeeScript	JavaScript	Scala
ColdFusion	Julia	Shell
Crystal	Kotlin	Swift
Dart	Lua	Tcl
Delphi	MATLAB	TypeScript
Dlang	Nim	Verilog/SystemVerilog
Elixir	Ocaml	Vim Script
Elm	PHP	WebAssembly

Múltiplas Linguagens

Outros

Mostrar Outros

.env	Embedded Ruby (a.k.a. ERB, eRuby)	Protocol Buffers
AI-generated code	Gherkin	Puppet
Ansible	HTML	Rails
Archive	JSON	Security/SAST
Azure Resource Manager	Kubernetes	Smart Contracts
Binaries	LaTeX	Support
Build tools	Laravel	Template-Languages
CSS/SASS/SCSS	Makefiles	Terraform
Config Files	Markdown	Translation
Configuration Management	Metalinter	Uses LLM/model
Containers	Mobile	Vue.js
Continuous Integration	Nix	Writing
Deno	Node.js	XML
Dockerfile	Packages	YAML
Embedded	Prometheus	git

---

Linguagens de Programação

ABAP

• abaplint — Linter para ABAP, escrito em TypeScript.

• abapOpenChecks — Aprimora o SAP Code Inspector com novas verificações personalizáveis.

Ada

• Polyspace for Ada ©️ — Fornece verificação de código que comprova a ausência de overflow, divisão por zero, acesso a arrays fora dos limites e certos outros erros de execução no código-fonte.

• SPARK ©️ — Conjunto de ferramentas de análise estática e verificação formal para Ada.

Assembly

• STOKE ⚠️ — Um otimizador estocástico agnóstico de linguagem de programação para o conjunto de instruções x86_64. Ele usa busca aleatória para explorar o espaço extremamente de alta dimensionalidade de todas as transformações de programa possíveis.

Awk

• gawk --lint — Avisa sobre construções duvidosas ou não portáveis para outras implementações de awk.

C

• Astrée ©️ — O Astrée comprova automaticamente a ausência de erros de execução e comportamento concorrente inválido em aplicações C/C++. É sólido para computações de ponto flutuante, muito rápido e excepcionalmente preciso. O analisador também verifica regras de codificação MISRA/CERT/CWE/Adaptive Autosar e oferece suporte à qualificação para ISO 26262, DO-178C nível A e outros padrões de segurança. Plugins para Jenkins e Eclipse estão disponíveis.

• CBMC — Verificador de modelo limitado para programas C, asserções definidas pelo usuário, asserções padrão, várias análises de métricas de cobertura.

• clang-tidy — Ferramenta linter para C++ baseada no Clang com a capacidade (limitada) de corrigir problemas também.