checkedc

Checked C adalah ekstensi untuk C yang memungkinkan pemrogram menulis kode C dengan pemeriksaan batas (bounds checking) dan keamanan tipe yang ditingkatkan. Tujuannya adalah memudahkan pembuatan kode C yang ada menjadi aman secara tipe dan menghilangkan berbagai kelas kesalahan.

Repositori ini berisi versi clang yang sedang dimodifikasi untuk mendukung Checked C. Checked C adalah ekstensi untuk C yang memungkinkan pemrogram menulis kode C yang dijamin aman secara tipe oleh kompiler.