Awesome GitHub RepositoriesDead Code Detection

Phan est un analyseur statique et vérificateur de type pour PHP qui identifie les bugs et les incompatibilités de type sans exécuter le code. Il sert de porte de qualité pour les pipelines d'intégration continue et d'outil pour vérifier la sécurité des types, en vérifiant spécifiquement les types union, les génériques et les formes de tableaux. Le projet se distingue par l'utilisation d'un démon en arrière-plan et d'une implémentation du Language Server Protocol, qui fournissent des diagnostics et une navigation en temps réel au sein des éditeurs. Il dispose également d'un système de suppression basé sur une ligne de base (baseline) qui permet aux développeurs d'enregistrer les erreurs existantes dans un fichier instantané pour se concentrer exclusivement sur les nouvelles régressions. Le moteur d'analyse couvre un large éventail de capacités, incluant la détection de code mort, la validation de compatibilité linguistique entre différentes versions de PHP, et l'inférence de types de variables et de modèles. Il prend en charge une analyse extensible via un système de plugins et fournit des corrections de code automatisées pour un sous-ensemble de problèmes détectés. Les utilisateurs peuvent amorcer le processus en générant un fichier de configuration avec des niveaux de rigueur sélectionnables pour valider progressivement leur base de code.