C Intermediate Language

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

C Intermediate Language (CIL) est un langage intermédiaire, sous-ensemble simplifié du langage de programmation C.

C'est également un ensemble d'outils libres publiés sous licence BSD pour:

analyser et transformer ce langage intermédiaire
transformer des programmes écrits en C de et vers ce langage.

Le CIL est utilisé par CCured, un outil qui compile un programme écrit en C en un code offrant un typage sûr en analysant l'utilisation des pointeurs et en insérant des vérifications à l'exécution là où le typage ne peut pas être déterminé statiquement.

Références

↑ (en) George C. Necula, Scott McPeak, Shree P. Rahul et Westley Weimer, « CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs », dans Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2002, 213–228 p. (ISBN 978-3-540-43369-9, DOI 10.1007/3-540-45937-5_16 , lire en ligne)

Liens externes

Documentation du projet CIL à l'université Berkeley
(en) « C Intermediate Language », sur SourceForge.net.

Portail de l’informatique

[1] (en) George C. Necula, Scott McPeak, Shree P. Rahul et Westley Weimer, « CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs », dans Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2002, 213–228 p. (ISBN 978-3-540-43369-9, DOI 10.1007/3-540-45937-5_16 , lire en ligne)