SemLoc localise les bugs Python

MMarc

SemLoc transforme le raisonnement d’un modèle de langage en contraintes typées et vérifiables pendant l’exécution, pour repérer des lignes suspectes dans les programmes Python, selon AlphaSignal. Ces contraintes sont associées à des valeurs précises du programme, puis le système classe les lignes à partir des violations observées pendant les tests. Sur le benchmark Python SemFault-250, SemLoc atteint 42,8 % de précision Top-1, c’est-à-dire que la première ligne proposée est la bonne dans cette proportion des cas, et 68 % de précision Top-3, lorsque les 3 premières lignes sont prises en compte. La méthode classique Ochiai, fondée sur la couverture du code, obtient 6,4 % en Top-1 sur ce benchmark. Une étape de correction contrefactuelle élimine des violations en cascade et apporte 12 points de pourcentage supplémentaires en précision Acc@1. L’effort d’inspection annoncé tombe à 7,6 % des lignes exécutables, contre 43,6 % avec la méthode de référence, soit une réduction d’un facteur 5,7 ; SemLoc peut aussi être associé à des agents opérant au niveau des fonctions, comme AutoFL, pour localiser des bugs à la ligne près dans de grands projets Python.