Awesome GitHub RepositoriesDead Code Detection

Phan es un analizador estático y verificador de tipos para PHP que identifica errores e incompatibilidades de tipo sin ejecutar el código. Sirve como una puerta de calidad para pipelines de integración continua y una herramienta para verificar la seguridad de tipos, comprobando específicamente tipos de unión, genéricos y formas de array. El proyecto se distingue por el uso de un demonio en segundo plano y una implementación del Protocolo de Servidor de Lenguaje (LSP), que proporcionan diagnósticos y navegación en tiempo real dentro de los editores. También cuenta con un sistema de supresión basado en línea base que permite a los desarrolladores registrar errores existentes en un archivo de instantánea para centrarse exclusivamente en nuevas regresiones. El motor de análisis cubre una amplia gama de capacidades, incluyendo la detección de código muerto, la validación de compatibilidad de lenguaje a través de diferentes versiones de PHP y la inferencia de tipos de variables y plantillas. Admite análisis extensible a través de un sistema de plugins y proporciona correcciones de código automatizadas para un subconjunto de problemas detectados. Los usuarios pueden iniciar el proceso generando un archivo de configuración con niveles de rigor seleccionables para validar gradualmente su base de código.