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.

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.

Plateforme dédiée à la gestion de projets logiciels avec des fonctionnalités avancées d'intégration continue, de collaboration d'équipe et de sécurité. Permet aux développeurs de centraliser leur travail, automatiser les tests et les déploiements, et sécuriser leurs applications grâce à des outils intégrés comme l'analyse statique de vulnérabilités.

VeriFast est un outil d'analyse statique conçu pour vérifier la sécurité et la correction des programmes. Il permet de détecter des vulnérabilités potentielles dans le code source, notamment en Java, en s'appuyant sur des annotations et des propriétés formelles. L'outil est utilisé pour garantir la robustesse des systèmes critiques, comme les cartes à puce ou les applications embarquées, en identifiant les erreurs de logique ou les failles de sécurité avant leur déploiement.

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.

Pagai est un outil d'analyse statique de code source qui utilise l'interprétation abstraite pour générer des invariants. Il permet d'améliorer la fiabilité et la sécurité du logiciel en détectant les erreurs et les vulnérabilités potentielles.

Ce service permet aux utilisateurs, chercheurs et partenaires de signaler les vulnérabilités ou erreurs détectées dans les produits et services numériques de la DINUM. Les signalements sont analysés pour renforcer la sécurité et la fiabilité des systèmes, conformément aux principes de transparence et de protection des données. La politique encadre ce processus en garantissant la confidentialité des rapporteurs et l'utilisation des informations uniquement pour corriger les failles.