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.

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.

RV-SecureBIP est un outil prototype conçu pour vérifier et renforcer la sécurité des flux d'information dans les systèmes basés sur des composants. Il utilise un cadre de travail dédié pour analyser statiquement les dépendances de sécurité et intègre un moniteur qui propage et maintient les niveaux de sécurité en temps réel. L'outil permet de contrôler dynamiquement l'exécution d'applications tout en garantissant la conformité aux annotations de sécurité définies dans le modèle.

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, d'automatiser les tests et les déploiements, et de renforcer la qualité du code grâce à des outils intégrés comme l'analyse statique de sécurité.

Solution autonome de sécurité pour les registries npm publics, conçue pour protéger les équipes de développement contre les risques liés aux paquets malveillants. Elle combine une analyse statique des paquets, une détection assistée par intelligence artificielle, et des politiques de sécurité personnalisables par organisation. Le système permet de filtrer, bloquer ou alerter sur les versions suspectes avant installation, tout en offrant une visibilité complète sur les risques identifiés via une interface dédiée.

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.

VeriFast est un outil d'analyse statique formelle conçu pour vérifier la correction de programmes écrits en C et Java. Il permet de détecter des erreurs de typage, des violations de propriétés de sécurité et des bugs potentiels avant l'exécution. Utilisé principalement dans les domaines critiques comme les systèmes embarqués ou les applications sécurisées, il aide les développeurs à prouver que leur code respecte des spécifications formelles.