Código abierto. Nuevas posibilidades.

SwiftLint es una herramienta de código abierto ampliamente usada para hacer cumplir el estilo y las convenciones en código Swift, con más de 200 reglas configurables, e integración con Xcode, VS Code, pipelines de CI y más.

ripr es una herramienta de análisis estático de exposición a mutaciones que identifica comportamientos modificados que sus pruebas alcanzan pero no verifican realmente, sin ejecutar pruebas de mutación.

PyFlow es un framework de análisis estático orientado a la investigación para Python, que ofrece IRs, análisis de programas, pasos de optimización, verificación de seguridad, análisis de cadena de suministro y herramientas CLI/LSP/MCP.

SecureFlow is a local-first application security platform in Rust, combining deterministic source-to-sink analysis, human validation workflows, and offline API inventorying. The tool prioritizes reproducible evidence while maintaining strict separation between automated candidates and final human judgments.

Una CLI de Python y servidor MCP que analiza un git diff frente a un índice de CodeGraph para devolver una lista clasificada de los flujos de usuario que un cambio podría haber roto, evitando ejecutar todas las pruebas. Prioriza la exhaustividad y se basa en un registro de trayectos.

Ruff es un linter y formateador de código Python extremadamente rápido escrito en Rust, diseñado para reemplazar múltiples herramientas como Flake8, Black e isort con una sola interfaz.

ShellCheck es una herramienta de análisis estático GPLv3 para scripts bash/sh que señala problemas de sintaxis, problemas semánticos y peligros de portabilidad. Funciona en terminales, editores y pipelines de CI, con formatos de salida como JSON, XML de CheckStyle y advertencias compatibles con GCC.

Lintro es una herramienta de línea de comandos bajo licencia MIT que unifica linters, formateadores, comprobadores de tipos y escáneres de seguridad bajo una sola interfaz, con informes consistentes, auto-corrección, imágenes de Docker y revisión opcional asistida por IA.

Ditto escanea repositorios de JavaScript/TypeScript con ts-morph, identifica funciones mediante un LLM, agrupa duplicados conductuales por embeddings y ejecuta funciones puras en un sandbox para mostrar divergencias.

Checkov es una herramienta de análisis estático de código abierto que escanea archivos de infraestructura como código e imágenes de contenedores en busca de configuraciones incorrectas de seguridad y vulnerabilidades. Soporta Terraform, CloudFormation, Kubernetes, Dockerfile y más, con más de 1000 políticas integradas.

Checkstyle es una herramienta de análisis estático para Java que ayuda a los programadores a escribir código conforme a estándares. Soporta Google Java Style y Sun Conventions, es altamente configurable e integra con Maven y Ant.