checkedc clang
Checked C clang 12.0.2 release
Ce référentiel contient une version de la chaîne d'outils LLVM/Clang qui a été modifiée pour prendre en charge Checked C. Checked C étend C avec une vérification des limites et une sécurité de type améliorée. La spécification Checked C est disponible sur la page de version du référentiel Checked C.
Vous pouvez installer le compilateur Checked C et l'outil 3C à partir de la page des versions du projet Checked C LLVM. Des versions sont disponibles pour Ubuntu 22.04, Windows 10/11 et MacOS. Le manuel d'utilisation du compilateur est ici. Pour plus d’informations sur Checked C et des pointeurs vers des exemples de code, consultez le wiki Checked C. Si vous souhaitez créer votre propre copie du compilateur, consultez les instructions sur le wiki du projet Checked C LLVM.
Vous pouvez utiliser clangd construit à partir de ce référentiel pour obtenir une prise en charge IDE similaire pour l'édition du code C vérifié comme clangd en amont le fournit pour le code C. Par exemple, vous pouvez accéder à la définition/aux références et obtenir un affichage en temps réel des erreurs et des avertissements, etc. Voici plus d'informations sur clangd de Checked C.
Ce référentiel comprend un outil appelé 3C qui automatise partiellement la conversion du code C en Checked C. Liens de documentation rapides :
Informations générales, y compris l'état de développement et la manière de contribuer
Instructions de construction
Instructions d'utilisation de l'outil de ligne de commande 3c
Pour plus d’informations sur le compilateur Checked C clang, consultez le wiki du projet Checked C LLVM.
Nous apprécions les contributions au projet Checked C. Pour vous impliquer dans le projet, voir Contribuer à Checked C.
Pour les contributions de code, nous suivons le workflow standard de Github. Voir Contribuer à Checked C pour plus de détails.
Ce projet a adopté un code de conduite.
