Outil dédié à l'analyse statique des projets logiciels pour identifier des problèmes de qualité, de sécurité ou de conformité. Il permet aux équipes de développement d'automatiser les revues de code, de détecter des vulnérabilités potentielles et d'améliorer la maintenabilité des applications avant leur mise en production.

Outil open source dédié à l'identification automatique des vulnérabilités CVE (Common Vulnerabilities and Exposures) dans les codes sources. Il permet aux développeurs et équipes de sécurité de scanner leurs projets pour détecter des failles connues, analyser les correctifs associés et comprendre les modifications nécessaires pour sécuriser leur code. Le projet combine des analyses statiques via des requêtes Tree-sitter et des outils de traitement de données pour générer des jeux de données exploitables.

Ce projet est un dépôt de code source hébergé sur GitLab, conçu pour faciliter la gestion collaborative de développement logiciel. Il permet aux équipes de travailler ensemble sur des fonctionnalités, d'automatiser les tests et les déploiements, et d'assurer la sécurité du code via des analyses statiques. Idéal pour les projets open source ou internes nécessitant une infrastructure robuste et des bonnes pratiques DevOps.

Outil d'analyse statique pour le langage PHP qui permet d'évaluer la qualité du code, détecter les erreurs, les vulnérabilités et les mauvaises pratiques. Il génère des rapports détaillés pour aider les développeurs à améliorer leur code et respecter les bonnes pratiques de développement.

Tomoscan est un outil d'analyse statique de code source conçu pour identifier les vulnérabilités de sécurité, les erreurs de codage et les écarts par rapport aux normes de qualité. Il permet aux développeurs et aux équipes de sécurité d'auditer leurs projets logiciels de manière automatisée, facilitant ainsi la détection précoce des problèmes et l'amélioration continue de la qualité du code.

Typstevals est un outil d'analyse statique conçu pour évaluer et valider les types dans les langages de programmation. Il permet aux développeurs de détecter des erreurs de typage potentielles avant l'exécution du code, améliorant ainsi la robustesse et la maintenabilité des projets. Utilisé principalement dans le cadre du développement logiciel, il s'intègre facilement aux pipelines CI/CD pour garantir une qualité constante du code.

MDE4RTS est un outil d'analyse d'impact de modifications de code et de sélection de tests de régression pour les projets Maven avec code source Java. Il propose deux approches : une basée sur le modèle, qui exécute les cas de test après l'instrumentation du bytecode et analyse les traces d'exécution pour construire un modèle, et une autre basée sur la trace, qui génère le modèle statique avec MoDisco et écrit les traces d'exécution dans une file d'attente topic-based pour l'analyse d'impact. La sélection de tests de régression peut être effectuée entre le dernier commit git et l'état actuel du code ou entre un commit précédent et l'état actuel du code.

Ce projet est un dépôt de code source hébergé sur GitLab, conçu pour faciliter la gestion, le développement et le déploiement d'applications logicielles. Il permet aux équipes de collaborer efficacement, d'automatiser les tests et les déploiements, et d'assurer la sécurité du code via des analyses statiques. Idéal pour les projets open source ou internes nécessitant une infrastructure robuste.

SVF est un framework open source dédié à l'analyse statique de pointeurs pour les programmes compilés avec LLVM. Il permet de détecter des erreurs mémoire, d'optimiser le code et de vérifier la cohérence des accès mémoire. Utilisé principalement dans le domaine de la compilation et de la sécurité logicielle, il offre des outils pour analyser les flux de données et les dépendances entre pointeurs dans un programme.

Moveit Play est un outil conçu pour faciliter la gestion et le développement de projets logiciels en équipe. Il permet aux développeurs de collaborer efficacement, d'automatiser les processus de test et de déploiement, et d'assurer la sécurité du code via des analyses statiques. Le projet inclut également des fonctionnalités pour documenter et structurer les projets de manière collaborative, tout en offrant des outils pour optimiser le flux de travail des équipes techniques.