checkedc clang
Checked C clang 12.0.2 release
Repo ini berisi versi rantai alat LLVM/Clang yang telah dimodifikasi untuk mendukung Checked C. Checked C memperluas C dengan pemeriksaan batas dan peningkatan keamanan tipe. Spesifikasi Checked C tersedia di halaman rilis repo Checked C.
Anda dapat menginstal kompiler C yang Diperiksa dan alat 3C dari halaman rilis Proyek C LLVM yang Diperiksa. Ada versi yang tersedia untuk Ubuntu 22.04, Windows 10/11, dan MacOS. Panduan pengguna kompiler ada di sini. Untuk informasi lebih lanjut tentang Checked C dan petunjuk ke kode contoh, lihat wiki Checked C. Jika Anda ingin membuat salinan kompiler Anda sendiri, lihat petunjuk di wiki Proyek C LLVM yang Diperiksa.
Anda dapat menggunakan clangd yang dibuat dari repositori ini untuk mendapatkan dukungan IDE serupa untuk mengedit kode C yang Diperiksa karena clangd upstream menyediakan kode C. Misalnya, Anda dapat melompat ke definisi/referensi dan mendapatkan tampilan kesalahan dan peringatan secara real-time, dll. Berikut informasi selengkapnya tentang clangd yang Dicentang C.
Repositori ini menyertakan alat yang disebut 3C yang mengotomatiskan sebagian konversi kode C ke Checked C. Tautan dokumentasi cepat:
Informasi umum, termasuk status pengembangan dan cara berkontribusi
Membangun instruksi
Petunjuk penggunaan untuk alat baris perintah 3c
Untuk informasi selengkapnya tentang kompiler dentang C yang Diperiksa, lihat wiki Proyek C LLVM yang Diperiksa.
Kami menyambut baik kontribusi pada proyek Checked C. Untuk terlibat dalam proyek ini, lihat Berkontribusi pada Checked C.
Untuk kontribusi kode, kami mengikuti alur kerja standar Github. Lihat Berkontribusi pada Centang C untuk detail lebih lanjut.
Proyek ini telah mengadopsi kode etik.
