static-analysis

Este repositorio enumera herramientas de análisis estático para todos los lenguajes de programación, herramientas de compilación, archivos de configuración y más. El enfoque está en herramientas que mejoran la calidad del código, como linters y formateadores. El sitio web oficial, analysis-tools.dev, se basa en este repositorio y añade clasificaciones, comentarios de usuarios y recursos adicionales como vídeos para cada herramienta.

Patrocinadores

Este proyecto no sería posible sin el generoso apoyo de nuestros patrocinadores.

Si también quieres apoyar este proyecto, visita nuestra página de GitHub Sponsors.

Significado de los símbolos

• ©️ significa software propietario. Todas las demás herramientas son de código abierto.
• ℹ️ indica que la comunidad no recomienda la herramienta para nuevos proyectos. El icono enlaza al issue de discusión.
• ⚠️ significa que la herramienta no se actualizó durante más de un año, o que su repositorio fue archivado.

¡Las pull requests son muy bienvenidas!

También echa un vistazo al proyecto hermano, awesome-dynamic-analysis.

Tabla de contenidos

Lenguajes de programación

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últiples lenguajes

Otros

Mostrar Otros

.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

---

Lenguajes de programación

ABAP

• abaplint — Linter para ABAP, escrito en TypeScript.

• abapOpenChecks — Mejora el SAP Code Inspector con comprobaciones nuevas y personalizables.

Ada

• Polyspace for Ada ©️ — Proporciona verificación de código que demuestra la ausencia de desbordamiento, división por cero, acceso a arrays fuera de límites y ciertos otros errores en tiempo de ejecución en el código fuente.

• SPARK ©️ — Conjunto de herramientas de análisis estático y verificación formal para Ada.

Assembly

• STOKE ⚠️ — Un optimizador estocástico agnóstico del lenguaje de programación para el conjunto de instrucciones x86_64. Utiliza búsqueda aleatoria para explorar el espacio extremadamente multidimensional de todas las posibles transformaciones de programas.

Awk

• gawk --lint — Advierte sobre construcciones dudosas o no portables a otras implementaciones de awk.

C

• Astrée ©️ — Astrée demuestra automáticamente la ausencia de errores en tiempo de ejecución y de comportamiento concurrente inválido en aplicaciones C/C++. Es sólido para cálculos de punto flotante, muy rápido y excepcionalmente preciso. El analizador también comprueba las reglas de codificación MISRA/CERT/CWE/Adaptive Autosar y admite la cualificación para ISO 26262, DO-178C nivel A y otros estándares de seguridad. Hay disponibles plugins para Jenkins y Eclipse.

• CBMC — Comprobador de modelos acotado para programas en C, aserciones definidas por el usuario, aserciones estándar, varios análisis de métricas de cobertura.

• clang-tidy — Herramienta linter para C++ basada en Clang con la capacidad (limitada) de corregir problemas también.