checkedc

Checked C es una extensión para C que permite a los programadores escribir código C con verificación de límites y mayor seguridad de tipos. El objetivo es facilitar que el código C existente sea seguro en cuanto a tipos y eliminar clases enteras de errores.

Este repositorio contiene una versión de clang modificada para soportar Checked C. Checked C es una extensión de C que permite a los programadores escribir código C con garantía de seguridad de tipos por parte del compilador.