checkedc

Checked C est une extension du langage C permettant d'ajouter la vérification des bornes et une meilleure sécurité des types, visant à sécuriser le code existant et à éliminer des classes entières d'erreurs.

Ce dépôt contient une version de clang modifiée pour prendre en charge Checked C. Checked C est une extension du langage C permettant aux développeurs d'écrire du code C dont la sécurité des types est garantie par le compilateur.