checkedc

Checked C ist eine Erweiterung für C, die es Programmierern ermöglicht, C-Code mit Grenzwertprüfungen und verbesserter Typsicherheit zu schreiben. Das Ziel ist es, bestehenden C-Code einfach typsicher zu machen und ganze Klassen von Fehlern zu eliminieren.

Dieses Repository enthält eine modifizierte Version von clang zur Unterstützung von Checked C. Checked C ist eine Erweiterung für C, die es Programmierern ermöglicht, C-Code zu schreiben, dessen Typsicherheit vom Compiler garantiert wird.