Quand un logiciel refuse de se compiler, ou pire, se compile avec des morceaux p\u00e9rim\u00e9s, la faute revient souvent \u00e0 une d\u00e9pendance mal d\u00e9clar\u00e9e. Trois chercheurs de l’universit\u00e9 Waseda, \u00e0 Tokyo, Yuta Saito, Kazunori Sakamoto et Hironori Washizaki, proposent un outil baptis\u00e9 mkcheck2 pour rep\u00e9rer ces erreurs bien plus rapidement qu’avec les m\u00e9thodes actuelles. Leurs travaux ont \u00e9t\u00e9 publi\u00e9s dans les actes de la 48e conf\u00e9rence internationale IEEE\/ACM sur le g\u00e9nie logiciel (ICSE 2026).<\/p>\n
Les syst\u00e8mes de construction comme Make, CMake ou celui du langage Zig orchestrent la transformation du code source en programme ex\u00e9cutable : ils compilent les fichiers dans le bon ordre, lient les objets entre eux et \u00e9vitent de tout recompiler \u00e0 chaque modification. Encore faut-il que chaque d\u00e9pendance entre fichiers soit correctement d\u00e9crite. D’apr\u00e8s les chercheurs, les erreurs de sp\u00e9cification des d\u00e9pendances repr\u00e9sentent plus de la moiti\u00e9 des \u00e9checs de compilation dans les projets de grande taille.<\/p>\n
Pour les d\u00e9tecter, il faut observer quels fichiers chaque \u00e9tape de la compilation lit et \u00e9crit r\u00e9ellement. Les outils existants s’appuient pour cela sur ptrace, un m\u00e9canisme qui suspend le processus observ\u00e9 \u00e0 chaque appel syst\u00e8me. R\u00e9sultat : une surcharge importante, qui rend la v\u00e9rification trop lente pour \u00eatre lanc\u00e9e r\u00e9guli\u00e8rement.<\/p>\n
L’\u00e9quipe de Waseda s’appuie plut\u00f4t sur eBPF, une technologie du noyau Linux qui permet d’ex\u00e9cuter de petits programmes isol\u00e9s directement dans l’espace noyau, d\u00e9j\u00e0 utilis\u00e9e pour la supervision r\u00e9seau ou la s\u00e9curit\u00e9. Le tra\u00e7age se fait ainsi sans interrompre la compilation. S’y ajoute une analyse incr\u00e9mentale, qui ne r\u00e9examine que ce qui a chang\u00e9 d’une version \u00e0 l’autre du code.<\/p>\n
Les gains annonc\u00e9s sont nets : jusqu’\u00e0 99,7 % de surcharge en moins par rapport aux approches fond\u00e9es sur ptrace, avec la m\u00eame pr\u00e9cision de d\u00e9tection selon les auteurs. Sur un corpus de 300 projets utilisant Make, le temps moyen d’analyse par commit passe d’environ 21 minutes (1 267 secondes) \u00e0 moins de 24 secondes, soit une acc\u00e9l\u00e9ration pouvant atteindre un facteur 54. De quoi envisager une v\u00e9rification continue, \u00e0 chaque modification du code.<\/p>\n
L’outil a toutefois ses limites. Il ne fonctionne que sous Linux, eBPF \u00e9tant propre \u00e0 ce syst\u00e8me. Et plusieurs cas restent difficiles \u00e0 couvrir : certaines d\u00e9pendances redondantes, l’acc\u00e8s \u00e0 des zones de m\u00e9moire projet\u00e9es, les biblioth\u00e8ques charg\u00e9es dynamiquement, les d\u00e9pendances r\u00e9seau et les syst\u00e8mes de compilation distribu\u00e9s.<\/p>\n
<\/p>\n