checkedc clang
Checked C clang 12.0.2 release
Este repositório contém uma versão do conjunto de ferramentas LLVM/Clang que foi modificado para suportar Checked C. Checked C estende C com verificação de limites e segurança de tipo aprimorada. A especificação Checked C está disponível na página de lançamento do repositório Checked C.
Você pode instalar o compilador Checked C e a ferramenta 3C na página de lançamentos do projeto Checked C LLVM. Existem versões disponíveis para Ubuntu 22.04, Windows 10/11 e MacOS. O manual do usuário do compilador está aqui. Para obter mais informações sobre Checked C e ponteiros para código de exemplo, consulte o wiki Checked C. Se você deseja construir sua própria cópia do compilador, consulte as instruções no wiki do Checked C LLVM Project.
Você pode usar clangd criado a partir deste repositório para obter suporte IDE semelhante para edição de código C verificado, conforme clangd upstream fornece para código C. Por exemplo, você pode pular para definições/referências e obter uma exibição em tempo real de erros e avisos, etc. Aqui estão mais informações sobre clangd do Checked C.
Este repositório inclui uma ferramenta chamada 3C que automatiza parcialmente a conversão de código C para Checked C. Links de documentação rápida:
Informações gerais, incluindo status de desenvolvimento e como contribuir
Instruções de construção
Instruções de uso para a ferramenta de linha de comando 3c
Para obter mais informações sobre o compilador Checked C clang, consulte o wiki do Checked C LLVM Project.
Aceitamos contribuições para o projeto Checked C. Para se envolver no projeto, consulte Contribuindo para Checked C.
Para contribuições de código, seguimos o fluxo de trabalho padrão do Github. Consulte Contribuindo para Checked C para obter mais detalhes.
Este projeto adotou um código de conduta.
