Roman Gushchin, membre de l'équipe de développement du noyau LinuxUn employé de Google a annoncé la création d'un nouveau système de vérification de code utilisant de grands modèles de langage. Développé depuis plusieurs mois, ce système, baptisé Sashiko, tire son nom d'une technique de tissage japonaise traditionnelle composée de petits points droits formant divers motifs.
Ce projet est utilisé depuis un certain temps en interne chez Google pour identifier les problèmes, et il est désormais accessible au public et configuré pour examiner automatiquement tous les correctifs envoyés à la liste de diffusion des développeurs du noyau. LinuxLe code de Sashiko est écrit en Rust et distribué sous licence Apache 2.0. Le système est autonome et peut être utilisé sur votre propre matériel.
Sashiko a été développé pour fonctionner avec le modèle Gemini Pro 3.1 de Google, mais a été partiellement testé avec Claude et fonctionnera probablement avec d'autres modèles de langage modernes de grande taille. Les invites utilisées pour la révision sont basées sur un ensemble d'invites préparées par Chris Mason, créateur du système de fichiers Btrfs. Google finance le budget des jetons et l'infrastructure de Sashiko. Le projet est distribué sous licence. Linux Fondation.
D'après des tests effectués avec le modèle Gemini 3.1 Pro, l'outil de Sashiko a pu détecter 53 % des erreurs d'un ensemble non filtré de 1 000 problèmes récents du noyau, étiquetés « Correctifs ». À première vue, 53 % ne semble pas particulièrement impressionnant, mais il convient de rappeler que tous les problèmes détectés étaient initialement passés inaperçus lors des analyses humaines.
Source: opennet.ru
