Ce projet propose une collection de fonctions utilitaires pour le langage R, conçues pour faciliter le débogage, améliorer la robustesse et optimiser les performances des scripts. Il s'adresse aux développeurs et data scientists utilisant R pour automatiser des analyses ou créer des applications. Les mises à jour régulières intègrent des corrections de bugs et des améliorations de sécurité.

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.

Ce projet pédagogique permet d'étudier et de comprendre les vulnérabilités courantes d'applications web, notamment les injections SQL et les failles XSS. Il sert de support à des travaux pratiques pour analyser des mécanismes de sécurité, identifier des risques et proposer des corrections. Destiné aux étudiants en informatique, il illustre concrètement les bonnes pratiques de développement sécurisé.

Outil dédié à la supervision de systèmes informatiques avec intégration de correctifs spécifiques. Il permet de surveiller l'état des infrastructures, d'appliquer des mises à jour et d'assurer la stabilité des environnements techniques. Utilisé principalement par les équipes DevOps et d'administration système pour maintenir les performances et la sécurité des systèmes.

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.

Ce projet est un TP pédagogique conçu pour étudier et analyser les vulnérabilités courantes en sécurité informatique, notamment les injections SQL et les failles XSS. Il s'agit d'une application web minimaliste développée en Python, permettant aux utilisateurs de manipuler une base de données MySQL de manière sécurisée ou non, selon les configurations. L'objectif est de sensibiliser aux risques liés à une mauvaise gestion des entrées utilisateur et de proposer des corrections pour renforcer la sécurité des applications.

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.

Ce projet pédagogique propose une application web minimaliste conçue pour illustrer et étudier les vulnérabilités courantes en cybersécurité, notamment les injections SQL et les attaques par script intersite (XSS). Il permet aux étudiants de manipuler un environnement vulnérable en conditions réelles, d'analyser les mécanismes de faille et de tester des correctifs pour renforcer la sécurité des applications web.

Ce projet pédagogique propose une application web minimaliste conçue pour étudier et analyser des vulnérabilités courantes en cybersécurité, notamment les injections SQL et les failles XSS. Il permet aux utilisateurs de manipuler une base de données MySQL via une interface web vulnérable, afin de comprendre les mécanismes d'attaque et de tester des correctifs de sécurité. L'objectif est d'apprendre à identifier, exploiter et corriger ces vulnérabilités dans un environnement contrôlé.

Ce projet pédagogique propose une application web vulnérable conçue pour enseigner les risques liés aux injections SQL et aux failles XSS. Il permet aux étudiants de manipuler une application minimaliste, d'identifier ses vulnérabilités, de les exploiter de manière contrôlée et de proposer des corrections. L'objectif est de comprendre les mécanismes de sécurité web et d'apprendre à sécuriser des applications.