Que penser du fragment de code suivant ? Il contient peut-être un défaut sémantique. En l’occurrence, un usage atypique de la boucle for, avec incrémentation du compteur deux fois par cycle. C’est le genre d’élément que ControlFlag est censé signaler.
Voilà près d’un an qu’Intel a dévoilé* cet outil de détection d’anomalies. Il vient d’en officialiser le passage en open source (licence MIT).
Avec ControlFlag, on est sur de l’apprentissage non supervisé. L’idée est de repérer des motifs structurels récurrents dans les langages de haut niveau. Puis d’en faire – sur la base du projet Tree-sitter – des arbres de décision destinés à alimenter la détection d’anomalies.
L’outil n’est pas encore capable d’effectuer des corrections. Il fournit pour le moment des recommandations. Et pour cause : l’approche, rappelle Intel, ne peut être que probabiliste. Bien que non conventionnel, le fragment de code ci-dessus a tout à fait pu être écrit à dessein. Idem pour celui qui suit, et sur lequel on aurait tendance à pointer l’usage d’une variable binaire alors que Verilog exploite par défaut une base décimale.
C’est tout l’enjeu pour ControlFlag : savoir distinguer les véritables erreurs sémantiques de ce qui relève des « variations de style ». Au bout, il y a des usages allant de la détection de doublons à la transpilation (conversion entre langages). Le démonstrateur d’Intel se concentre quant à lui sur le repérage des potentielles fautes de frappe.
* ControlFlag s’inscrit, notamment, dans la lignée du projet MISIM (Machine-Inferred Code Similarity). Intel y a impliqué plusieurs de ses chercheurs.
Illustration principale © monsitj – Adobe Stock
Pour développer une version 7B de son modèle Codestral, Mistral AI n'a pas utilisé de…
L’Autorité de la concurrence et des marchés (CMA) britannique ouvre une enquête sur les conditions…
Thomas Gourand est nommé Directeur Général pour la France. Il est chargé du développement de…
Pour dissuader le CISPE d'un accord avec Microsoft, Google aurait mis près de 500 M€…
Pour réduire la taille des mises à jour de Windows, Microsoft va mettre en place…
De l'organisation administrative à la construction budgétaire, la Cour des comptes pointe le fonctionnement complexe…