C Intermediate Language

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir CIL.
image illustrant l’informatique
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.


CIL est utilisé par CCured, un compilateur 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.

Liens externes[modifier | modifier le code]