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.
Origine : Fichiers produits par l'(les) auteur(s)