OCaml : l'exploit avant le correctif

• •Une faille de traversée de chemin dans cohttp 6.3.0 a déclenché des sondes automatisées en dix minutes après ouverture publique d'une pull request, et un exploit fonctionnel a été
• •Le délai moyen d'exploitation des vulnérabilités est désormais de −7 jours, signifiant que l'exploitation active précède en moyenne la publication du correctif, contre 63 jours en
• •Project Glasswing, qui donne accès à des agents IA de niveau frontier à 150 organisations dans 15 pays, exclut toujours les mainteneurs open source indépendants, creusant

Il a suffi de dix minutes. Le temps d'ouvrir une pull request publique pour corriger une faille de traversée de chemin dans la bibliothèque OCaml cohttp 6.0.3, et le serveur web de son mainteneur était déjà sondé avec le motif exact de la vulnérabilité. Ce délai, déjà vertigineux, est en réalité trompeur : un agent IA avait créé un exploit fonctionnel en moins d'une minute sur un serveur local. La question n'est plus de savoir si les systèmes automatisés d'exploitation rattrapent les défenseurs humains — ils les ont dépassés.

La rumeur suffit, le secret ne protège plus

La vulnérabilité avait été signalée en privé, via un canal Slack, par Jane Street ; la découverte initiale elle-même avait été réalisée par Claude Fable, un agent IA. Cette compression des délais illustre un changement de paradigme documenté : selon des travaux de Fang et al. cités dans le billet de maintenance, un agent GPT-4 aurait exploité 87 % d'un jeu de quinze vulnérabilités dès lors qu'il disposait d'une description CVE, contre seulement 7 % sans cette description. Autrement dit, il suffit d'une indication de direction — une question sur une liste de diffusion, un commit discret dans une branche orpheline, une fuite de contexte — pour qu'un agent adverse instruise sa propre recherche.

Les chiffres confirment ce que l'incident illustre concrètement. Le délai moyen entre publication d'un correctif et première exploitation active était d'environ 63 jours en 2018-2019 ; il a franchi la barre zéro en 2024, et se situe aujourd'hui à −7 jours : l'exploitation précède désormais le correctif. La CVE-2026-39987 affectant marimo a vu sa première tentative d'exploitation neuf heures après l'avis public, sans aucune preuve de concept disponible. La CVE-2026-33017 de Langflow a tenu vingt heures. Ces cas rejoignent un phénomène que des chercheurs décrivent désormais comme des attaques pilotées par agents IA sur des bibliothèques open source, transformant la divulgation responsable en une course contre la montre que les défenseurs sont structurellement en train de perdre.

Les " bugonomics " jouent contre les mainteneurs

Un article de mai 2026 signé Pesoli et al. — intitulé Demystifying the Mythos or Disrupting Bugonomics? — a formalisé ce déséquilibre sous le terme de " bugonomics ". Sa thèse : le goulot d'étranglement s'est déplacé de la génération d'exploits vers la capacité des défenseurs à remédier. Les modèles de langage produisent des exploits en série ; les taux de validation, de triage et de publication des mainteneurs, eux, restent stables. Le texte de Pesoli et al. identifie une opportunité centrale pour les défenseurs : " des workflows sémantiquement fondés, vérifiés par outillage et assistés par modèles, pour trouver, valider, prioriser et corriger les défauts de sécurité avant qu'ils ne deviennent les vulnérabilités exploitées de demain ".

Cette asymétrie est aggravée par un problème d'accès. Les modèles commerciaux occidentaux disposent de garde-fous de sécurité qui, en pratique, bloquent leur usage pour la recherche défensive par des mainteneurs indépendants. Le programme Project Glasswing, qui offre un accès à des agents de niveau frontier à 150 organisations dans 15 pays — dont des opérateurs d'infrastructures critiques, des fournisseurs cloud et financiers, ainsi que la Linux Foundation — reste fermé aux mainteneurs individuels. Dans l'incident cohttp, l'agent Claude Fable a ainsi refusé d'analyser le code vulnérable, invoquant ses restrictions de sécurité. C'est DeepSeek V4 Pro qui, sollicité à la place, a identifié de manière indépendante plusieurs problèmes connexes et co-généré l'exploit en moins d'une minute.

Trois pistes, aucune solution immédiate

Face à ce constat, trois orientations émergent, chacune assortie de limites sérieuses. La première — développer les correctifs dans des dépôts privés temporaires — se heurte aux restrictions de GitHub sur l'intégration continue pour les forks privés, à la contrainte d'une seule pull request par fork, et à la réalité que le secret du code importe moins que l'étanchéité de la description du problème, laquelle circule inévitablement par des canaux partiellement perméables comme Discord ou Slack.

La deuxième piste — publier en continu, sans embargo — est celle qu'ont adoptée les grands projets industriels : Chrome publie deux versions par semaine et applique des mises à jour dynamiques de processus sans redémarrage. Le noyau Linux s'impose un délai maximal de sept jours, quatorze en cas exceptionnel. Mais les bibliothèques open source, contrairement à un binaire monolithique, sont réempaquetées par des distributions en aval selon leurs propres calendriers, hors du contrôle des auteurs originaux. Des travaux sur la gestion de paquets inter-écosystèmes — présentés prochainement à l'ICFP — et des outils de balayage comme Scrutineer tentent de combler ce fossé, mais restent conditionnés à l'accès à des modèles frontier sans restrictions.

La troisième piste, plus radicale, consiste à déployer des protections au niveau protocolaire avant même que le correctif complet soit disponible. La faille cohttp corrigée aujourd'hui en offre l'illustration : la normalisation des séparateurs de chemin encodés en pourcentage était implémentable dès réception du rapport, et déployable pendant que le correctif traversait le cycle de révision et d'empaquetage. Cloudflare avait utilisé ce mécanisme de virtual patching pour colmater Log4shell en 2021. L'open source, lui, ne dispose pas d'un canal de distribution équivalent pour de telles règles en dehors des CDN commerciaux.

Un tournant structurel pour la sécurité open source

La correction de la faille cohttp est le fruit d'un travail collectif : Sapphire Livingstone a découvert et signalé la vulnérabilité, guidé le correctif et co-développé la remédiation ; Michael Dales, Török Edwin et Patrick Ferris ont revu le patch ; Hannes Mehnert a coordonné l'avis de sécurité. Mais l'épisode dépasse de loin le cas d'une bibliothèque OCaml. Il révèle une transformation structurelle : dans un écosystème où les agents IA automatisent désormais la génération d'exploits à grande échelle, les procédures de divulgation responsable héritées de l'ère pré-LLM sont devenues structurellement insuffisantes. L'enjeu n'est plus de savoir si les embargos peuvent encore tenir — ils ne peuvent plus — mais d'inventer, en urgence, une infrastructure défensive distribuée capable de se propager aussi vite que les attaques qu'elle doit contenir.

More in Intelligence Artificielle

→

Intelligence Artificielle GLM-5.3 open-weight, cyber et coding Intelligence Artificielle Racter, l'ancêtre de l'IA générative Intelligence Artificielle Agents IA : découvertes mathématiques Intelligence Artificielle Conduct AI : garde-fous open source Intelligence Artificielle Headlong, l'agent IA en pensée continue Intelligence Artificielle L'IA régie par des lois, non des murs

← Home