10h-12h
Surveillance salle
À venir
Amphi A
Présents : Didier Certain, Alexandre Lardoux, Stéphane DINAHET
10h00 - 12h00
·
Amphi A
·
mer.
24/06/2026
Safety et Undefined Behavior : Lab interactif de sécurité inter-langages
Julien Laurenceau
Le code compile, la suite de tests est au vert et la CI a validé le déploiement. Pourtant, en production, c'est le crash inexpliqué, la faille silencieuse ou le fameux comportement indéfini (Undefined Behavior). La safety d'une application va bien au-delà de la simple gestion de la mémoire. À travers un format Lab interactif de 2 heures, ce module vous propose de traquer les anomalies de conception à travers une multitude d'écosystèmes : Go, Python, C/C++, Bash, JS, Java, ... N'importe quel téléphone ou ordinateur avec une connexion internet suffira. Rassurez-vous : il n'est pas nécessaire de maîtriser la syntaxe de tous ces langages. Un bagage général devrait suffire. De plus, une partie des snippets projetés ne sont pas des cas d'école théoriques, mais de véritables bugs issus de la production. Certains même reconnaîtront le cas d'origine, les autres devront le découvrir par l'analyse statique. Le concept : la portion de code incriminée est projetée. Votre mission consiste à trouver la faille structurelle (Data races, Typestate invalide, erreurs de concurrence temporelle) puis à cliquer directement sur le segment coupable via l'application web du Lab. L'expérience s'adapte à votre niveau d'engagement : participez en mode passif/anonyme depuis le fond de la salle en accumulant des points sur l'application, ou installez-vous aux premiers rangs pour un mode interactif où vous pourrez prendre le micro et expliquer techniquement la nature du bug identifié. Venez affûter votre œil face aux limites sémantiques de nos outils quotidiens.