checkedc clang
Checked C clang 12.0.2 release
Este repositorio contiene una versión de la cadena de herramientas LLVM/Clang que se ha modificado para admitir Checked C. Checked C extiende C con verificación de límites y seguridad de tipos mejorada. La especificación Checked C está disponible en la página de lanzamiento del repositorio Checked C.
Puede instalar el compilador Checked C y la herramienta 3C desde la página de lanzamientos del proyecto Checked C LLVM. Hay versiones disponibles para Ubuntu 22.04, Windows 10/11 y MacOS. El manual de usuario del compilador está aquí. Para obtener más información sobre Checked C y sugerencias de código de ejemplo, consulte la wiki de Checked C. Si desea crear su propia copia del compilador, consulte las instrucciones en la wiki del Proyecto Checked C LLVM.
Puede usar clangd creado a partir de este repositorio para obtener soporte IDE similar para editar código C verificado, como clangd proporciona código C. Por ejemplo, puede saltar a definiciones/referencias y obtener una visualización en tiempo real de errores y advertencias, etc. Aquí hay más información sobre clangd de Checked C.
Este repositorio incluye una herramienta llamada 3C que automatiza parcialmente la conversión de código C a Checked C. Enlaces de documentación rápida:
Información general, incluido el estado de desarrollo y cómo contribuir.
Instrucciones de construcción
Instrucciones de uso para la herramienta de línea de comandos 3c
Para obtener más información sobre el compilador Checked C clang, consulte la wiki del proyecto Checked C LLVM.
Agradecemos las contribuciones al proyecto Checked C. Para participar en el proyecto, consulte Contribuir a Checked C.
Para contribuciones de código, seguimos el flujo de trabajo estándar de Github. Consulte Contribuir a Checked C para obtener más detalles.
Este proyecto ha adoptado un código de conducta.
