checkedc

Checked C là phần mở rộng của C cho phép lập trình viên viết mã C với kiểm tra giới hạn và cải thiện độ an toàn kiểu dữ liệu. Mục tiêu là giúp mọi người dễ dàng chuyển mã C hiện có thành an toàn kiểu dữ liệu và loại bỏ toàn bộ các lớp lỗi.

Kho lưu trữ này chứa một phiên bản clang đang được sửa đổi để hỗ trợ Checked C. Checked C là một phần mở rộng của C cho phép lập trình viên viết mã C được trình biên dịch đảm bảo an toàn về kiểu dữ liệu.