checkedc

Checked C é uma extensão para C que permite aos programadores escrever código com verificação de limites e segurança de tipo aprimorada. O objetivo é facilitar a tornar o código C existente seguro quanto ao tipo e eliminar classes inteiras de erros.

Este repositório contém uma versão do clang que está sendo modificada para suportar Checked C. O Checked C é uma extensão do C que permite aos programadores escrever código C com garantia de segurança de tipos pelo compilador.