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.

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.

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.

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.

Outil d'analyse statique et de vérification de code JavaScript et TypeScript. Il permet de détecter des erreurs, des incohérences et des problèmes de style dans le code source. Il facilite le respect des bonnes pratiques et des standards de développement pour améliorer la maintenabilité et la robustesse des projets.

DroidWorks est un ensemble d'outils et de bibliothèques open source dédiés à l'analyse et à l'exploration des applications Android. Il permet d'extraire, de manipuler et de visualiser les ressources, le code et les métadonnées des fichiers APK. Les fonctionnalités incluent l'analyse statique, la génération de graphes d'appels, la vérification des permissions et la manipulation des fichiers DEX.

Projet open source fournissant un ensemble d'outils modulaires pour la compilation, l'optimisation et l'analyse de programmes. LLVM permet de transformer du code source en code machine optimisé, d'analyser les performances des programmes et de générer des passes personnalisées pour étendre les fonctionnalités des compilateurs. Il est largement utilisé dans l'industrie et la recherche pour développer des compilateurs modernes et des outils d'analyse statique.