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.

HENDRICS est une plateforme matérielle et logicielle conçue pour simuler des systèmes de contrôle industriel (ICS) et évaluer leur résistance aux cyberattaques. Elle permet de reproduire des scénarios réalistes d'intrusions, de tester des mécanismes de détection, de réponse et de récupération, ainsi que d'analyser les vulnérabilités des infrastructures critiques. Destinée aux chercheurs, ingénieurs et étudiants, cette solution offre un environnement contrôlé pour améliorer la cybersécurité des systèmes industriels.

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.

Solution logicielle dédiée à la gestion et au suivi de projets techniques au sein d'un environnement académique ou institutionnel. Permet aux équipes de collaborer efficacement sur des développements logiciels, d'automatiser les processus de test et de déploiement, et de renforcer la sécurité via l'analyse des vulnérabilités. Adapté aux besoins des laboratoires, écoles ou services publics impliqués dans des projets informatiques.

Outil d'audit automatisé conçu pour identifier les dépendances logicielles vulnérables dans des projets de développement. Il analyse les fichiers de verrouillage (lockfiles) comme yarn.lock ou package-lock.json au sein de dépôts GitHub, GitLab ou de répertoires locaux. Le projet agrège des listes de paquets compromis issues de sources communautaires et de fichiers personnalisés pour détecter les versions exposées à des vulnérabilités connues. Les résultats sont présentés par dépôt ou par fichier, facilitant la correction proactive des risques de sécurité.

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.

Plateforme dédiée à la gestion et au suivi de projets logiciels, offrant des outils pour la collaboration d'équipe, l'automatisation des tests et des déploiements, ainsi que l'analyse des vulnérabilités du code. Destiné aux développeurs et équipes techniques pour optimiser les workflows de développement.

Outil formel dédié à l'analyse de la robustesse des systèmes embarqués face aux attaques par injection de fautes. Il combine la description RTL d'un processeur, le binaire d'un logiciel et un modèle d'attaquant pour évaluer la sécurité d'un système intégrant des contre-mesures. µArchiFI permet de prouver formellement la sécurité d'un système ou d'identifier des contre-exemples illustrant des vulnérabilités exploitables.

Ce projet fait partie de la formation Cloud Pi Native (CPiN) et permet de gérer les artefacts logiciels, notamment les images Docker, via le gestionnaire Harbor. Il inclut également l'analyse de vulnérabilités des images grâce à l'outil Trivy, offrant ainsi une solution sécurisée pour le stockage et la validation des artefacts avant déploiement. Destiné aux développeurs et administrateurs, il facilite l'intégration continue et la conformité des images utilisées dans les environnements Cloud Pi Native.

T-Brop est un projet dont le but est d'analyser des matrices de gadgets pour détecter des exploits informatiques et aider à la recherche de vulnérabilités dans les logiciels. Il s'agit d'un PoC (Proof of Concept) qui peut être utilisé pour analyser des fichiers spécifiques et fournir des informations sur d'éventuelles vulnérabilités.