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.

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.

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.

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é.

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.

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.

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.

Outil dédié à la gestion et au développement collaboratif de projets logiciels. Permet aux équipes de collaborer efficacement sur le code source, d'automatiser les tests et les déploiements, et d'assurer la sécurité des applications via des analyses statiques. Idéal pour les équipes techniques souhaitant optimiser leur workflow de développement.