checkedc clang
Checked C clang 12.0.2 release
Dieses Repo enthält eine Version der LLVM/Clang-Toolchain, die geändert wurde, um Checked C zu unterstützen. Checked C erweitert C um Grenzüberprüfung und verbesserte Typsicherheit. Die Checked C-Spezifikation ist auf der Checked C-Repo-Release-Seite verfügbar.
Sie können den Checked C-Compiler und das 3C-Tool über die Release-Seite des Checked C LLVM-Projekts installieren. Es sind Versionen für Ubuntu 22.04, Windows 10/11 und MacOS verfügbar. Das Compiler-Benutzerhandbuch finden Sie hier. Weitere Informationen zu Checked C und Hinweise auf Beispielcode finden Sie im Checked C-Wiki. Wenn Sie Ihre eigene Kopie des Compilers erstellen möchten, lesen Sie die Anweisungen im Checked C LLVM Project-Wiki.
Sie können clangd verwenden, das aus diesem Repository erstellt wurde, um eine ähnliche IDE-Unterstützung für die Bearbeitung von geprüftem C-Code zu erhalten, wie sie das Upstream- clangd für C-Code bietet. Sie können beispielsweise zu Definition/Referenzen springen und eine Echtzeitanzeige von Fehlern und Warnungen usw. erhalten. Hier finden Sie weitere Informationen zu clangd von Checked C.
Dieses Repository enthält ein Tool namens 3C, das die Konvertierung von C-Code in Checked C teilweise automatisiert. Links zur Kurzdokumentation:
Allgemeine Informationen, einschließlich Entwicklungsstatus und Möglichkeiten, Beiträge zu leisten
Bauanleitung
Gebrauchsanweisung für das 3c -Befehlszeilentool
Weitere Informationen zum Checked C-Clang-Compiler finden Sie im Wiki zum Checked C LLVM-Projekt.
Wir freuen uns über Beiträge zum Checked C-Projekt. Informationen zur Beteiligung am Projekt finden Sie unter Mitwirken bei Checked C.
Für Codebeiträge folgen wir dem Standard-Github-Workflow. Weitere Einzelheiten finden Sie unter Mitwirken bei Checked C.
Dieses Projekt hat einen Verhaltenskodex verabschiedet.
