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 utilise HyperAst pour analyser des dépôts de code source et détecter automatiquement des vulnérabilités CVE. Il permet aux développeurs et équipes de sécurité d'identifier rapidement des failles potentielles dans leur code, facilitant ainsi la correction proactive des risques avant qu'ils ne soient exploités. L'outil s'intègre aux workflows de développement existants pour renforcer la sécurité des 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.

Ce projet est dédié à la validation et au test des requêtes utilisées pour la détection de vulnérabilités (CVE) dans le cadre d'une thèse de doctorat. Il permet d'évaluer la précision, la robustesse et l'efficacité des requêtes de sécurité en analysant des bases de code source. L'objectif est d'améliorer les méthodes de détection automatisée des vulnérabilités logicielles.

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.

Outil permettant d'analyser, comparer et visualiser des structures de code source arborescentes. Il facilite la détection de vulnérabilités dans le code, la comparaison de syntaxes entre différents langages, et la génération de graphiques pour représenter les relations entre les nœuds de code. Idéal pour les développeurs et les équipes de sécurité cherchant à valider ou optimiser leur code.

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.

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.

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.

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.