Checked C

Checked C — язык программирования, разработанный в Microsoft Research и ориентированный на максимальную совместимость с C, но обеспечивающий большую безопасность при работе с памятью и, вследствие этого — большую защиту от уязвимостей написанных на нём приложений^[1][2][3][4].

Спецификация языка, примеры и тесты распространяются на условиях MIT license и Open Web Foundation^[англ.] Final Specification Agreement (обеспечивающего свободу от патентных и копирайтных исков в рамках данного соглашения)^[5].

В язык введено ряд новых типов указателей, таких, как:

• array_ptr<T> — указатель на массив фиксированного размера. Проверка выхода за его границы во время исполнения программы может быть обеспечена автоматически;
• array_ptr_nt<T> — указатель на элемент массива типа Т, ограниченного символом null.
• ptr<T> — указатель не требующий проверки выхода за границы, поскольку не используется для вычисления новых адресов. Соответственно, адресная арифметика для указателей такого типа запрещена.

Компилятор Checked C доступен в виде модифицированных с целью поддержки CheckedC LLVM/Clang^[6]. Компилятор поддерживает 32-х и 64-х разрядные версии Windows, UNIX/Linux и MacOS^[7].

• Cyclone
• Rust

• Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi and Michael Hicks. Achieving Safety Incrementally with Checked C // International Conference on Principles of Security and Trust. — Springer, Cham, 2019. — С. 76—98.

• microsoft.com/en-us/research/project/checked-c/ — официальный сайт Checked C
• Проект Checked C на сайте GitHub
• Проект CheckedC Clang на сайте GitHub