Et TINA RUSTINA le lien vers l’assembleur - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Et TINA RUSTINA le lien vers l’assembleur

Résumé

Le développement en C de logiciels non-critiques utilise régulièrement l’insertion d’assembleur « en ligne », que ce soit pour optimiser certaines opérations ou pour accéder à des primitives systèmes autrement inaccessibles. Celui-ci demande l’écriture de spécifications sous forme de contraintes pour faire le lien entre le langage hôte (C) et le langage assembleur embarqué. Ces spécifications sont ensuite utilisées par le compilateur afin d’insérer aveuglément l’assembleur dans le code émis – la pratique étant d’accorder toute confiance aux dires du programmeur. Pour éviter les erreurs issues de spécifications mal formées, nous proposons RUSTINA, un outil qui permet de vérifier que les spécifications assembleurs correspondent bien à l’implémentation des blocs qu’elles décrivent, ou, dans le cas contraire diagnostiquer ou corriger le problème.
Fichier principal
Vignette du fichier
rustina-jfla20.pdf (211.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-04484523 , version 1 (29-02-2024)

Identifiants

  • HAL Id : cea-04484523 , version 1

Citer

Frederic Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet. Et TINA RUSTINA le lien vers l’assembleur : Etude préliminaire. Journées Francophones des Langages Applicatifs, 2020, Jan 2020, Narbonne, France. pp.168-175. ⟨cea-04484523⟩
6 Consultations
3 Téléchargements

Partager

Gmail Facebook X LinkedIn More