Fortran dans Maguyva : des graphes de code pour le calcul scientifique

Pourquoi Fortran demande de la structure, pas de la recherche de chaînes

Les bases de code Fortran sont souvent anciennes, volumineuses et écrites par des spécialistes du domaine plutôt que par des équipes logicielles. Les routines nommées SOLVE, Solve et solve sont une seule et même routine. Les modules sont partagés par des centaines de fichiers, et la bibliothèque des procédures intrinsèques est si vaste qu’une liste d’appels naïve contient surtout SQRT, SUM et WRITE.

Un agent qui se contente de grep se noie dans ce bruit. Maguyva lui donne d’abord la structure : quelles unités de programme existent, quels modules elles utilisent et quelles routines utilisateur s’appellent entre elles.

Ce que Maguyva extrait en Fortran

Maguyva couvre les sources en format fixe et libre (.f, .for, .ftn, .f90, .f95, .f03, .f08). Les fonctions et sous-programmes sont extraits comme symboles appelables, et les types dérivés peuvent être sélectionnés comme définitions de type dans la recherche structurelle.

La correspondance des symboles ignore la casse, comme le fait Fortran. Les relations d’import proviennent de use et include, le mot-clé étant retiré pour que le graphe stocke le nom du module. Les appels, lectures, affectations, références de type et l’héritage des types dérivés étendus font aussi partie du graphe.

Le filtre de relations écarte environ 165 procédures intrinsèques (instructions d’E/S, routines mathématiques, de tableaux, de chaînes, de conversion de type et de manipulation de bits), si bien que les arêtes restantes pointent vers votre propre code.

Exemples de prompts pour agents

• « Quels sous-programmes appellent compute_flux, et quels modules utilisent-ils ? » (find_symbol, puis dependency_search en incoming)
• « Retrace comment les conditions aux limites sont appliquées dans la boucle du solveur. » (get_task_context)
• « Trouve toutes les unités de programme qui utilisent le module constants. » (text_pattern_search sur use constants, puis find_symbol)

Limites connues

• Fortran n’a ni décorateurs ni gestion des exceptions, ces types de relations sont donc marqués comme non applicables.
• Les procédures liées à un type partagent les mêmes nœuds que les fonctions et sous-programmes ordinaires. Utilisez le préréglage functions dans structural_search ; le préréglage methods ne sélectionne aucun nœud Fortran.
• Les appels aux procédures intrinsèques filtrées n’apparaissent pas comme arêtes du graphe. Utilisez text_pattern_search quand il vous faut chaque WRITE ou OPEN.

Étapes suivantes

Connectez un dépôt avec le démarrage rapide, puis consultez la matrice de prise en charge complète sur la page de compatibilité. Si votre Fortran côtoie du code de liaison C, lisez aussi le guide C.