checkedc clang

Репозиторий проверенного C clang

Этот репозиторий содержит версию набора инструментов LLVM/Clang, которая была изменена для поддержки Checked C. Checked C расширяет C с проверкой границ и улучшенной безопасностью типов. Спецификация Checked C доступна на странице выпуска репозитория Checked C.

Пробую Checked C

Вы можете установить компилятор Checked C и инструмент 3C со страницы выпусков проекта Checked C LLVM. Доступны версии для Ubuntu 22.04, Windows 10/11 и MacOS. Руководство пользователя компилятора находится здесь. Дополнительную информацию о Checked C и ссылки на примеры кода см. в вики Checked C. Если вы хотите создать свою собственную копию компилятора, см. инструкции в вики-сайте Checked C LLVM Project.

Вы можете использовать clangd созданный из этого репозитория, чтобы получить аналогичную поддержку IDE для редактирования проверенного кода C, которую clangd обеспечивает для кода C. Например, вы можете перейти к определению/ссылкам и получить отображение ошибок, предупреждений и т. д. в реальном времени. Вот дополнительная информация о clangd Checked C.

3C: Полуавтоматическое преобразование кода C в проверенный C

Этот репозиторий включает в себя инструмент 3C, который частично автоматизирует преобразование кода C в проверенный C. Ссылки на краткую документацию:

• Общая информация, включая статус разработки и способ внести свой вклад

• Инструкции по сборке

• Инструкции по использованию инструмента командной строки 3c

Дополнительная информация

Дополнительную информацию о компиляторе Checked C clang см. в вики проекта Checked C LLVM.

Статус автоматического тестирования

Содействие

Мы приветствуем вклад в проект Checked C. Чтобы принять участие в проекте, см. раздел «Вклад в Checked C».

При написании кода мы следуем стандартному рабочему процессу Github. Дополнительные сведения см. в разделе «Вклад в Checked C».

Нормы поведения

В рамках этого проекта принят кодекс поведения.