Scope est un outil de gestion de projets et de développement collaboratif. Il permet de créer des dépôts de code source, d'ajouter des fichiers, de travailler en équipe, d'inviter des membres et collaborateurs, de gérer les demandes de fusion, d'analyser le code pour les vulnérabilités de sécurité et de déployer automatiquement les applications.

Le projet sonar-scanner-cli est un outil d'analyse de la qualité du code source. Il permet de détecter les vulnérabilités dans le code, de s'assurer de la conformité aux normes de codage et d'améliorer la maintenabilité du code. Il est utilisé pour garantir des standards élevés de qualité et de sécurité dans le développement des applications.

SonarQube est une plateforme de gestion de la qualité logicielle qui permet d'analyser les code sources des projets pour détecter les vulnérabilités et mesurer la qualité du code. Il offre une vue centralisée des problèmes de qualité et de sécurité du code, ainsi que des tendances d'amélioration au fil du temps.

Le projet llvm-fence-spec est un outil d'analyse et d'optimisation de code source pour l'architecture RISCV. Il permet de détecter les faiblesses de sécurité dans le code et de générer du code optimisé pour cette architecture. Il inclut également des fonctionnalités de prévention des attaques de type Spectre et Meltdown.

Ce projet est une implémentation officielle d'une approche de détection de failles XSS (Cross-Site Scripting) dans le code source utilisant l'apprentissage automatique. Il permet de traiter et d'analyser du code source à grande échelle pour en détecter les vulnérabilités et améliorer la sécurité des applications web.

Ce projet est dédié à l'analyse de code source pour les besoins de l'Infosec. Il permet de rechercher des failles de sécurité et de simuler l'exécution de code.

Ce projet documente la politique de sécurité de l'Incubateur de Services Numériques de l'État français. Il regroupe le code source des guides 'Analyse de sécurité Agile' et 'Homologation Agile', des informations génériques applicables à l'ensemble des Startups d'État, des modèles de documents réutilisables par chaque Startup d'État pour ses homologations, et d'autres informations utiles sur les bonnes pratiques en matière de sécurité.

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.

Le projet ipanema-compiler est un outil de génération de politiques de sécurité à partir de codes sources. Il permet d'analyser le code source d'un programme et de produire une politique de sécurité adaptée à celui-ci.

Ce projet vise à optimiser la sécurité des réseaux de télécommunication en analysant des scénarios d'attaques et en générant des scénarios aléatoires. Il utilise des outils tels que GCC, GLPK, CPLEX et GNUPLOT pour compiler le code source et effectuer des calculs complexes.