Der Redmonder Soft- und Hardwarehersteller Microsoft hat die hauseigene Lösung »Checked C« unter eine MIT-Lizenz gestellt. Bei »Checked C« handelt es sich um eine Erweiterung für die Programmiersprache C, die diverse statische und dynamische Checks einführt.
gehört zweifelsohne zu den mächtigsten, aber auch zu den fehleranfälligsten Programmiersprachen auf dem Markt. Die Sprache schränkt den Anwender kaum ein und unterbindet beispielsweise auch direkte Speicherzugriffe nicht, wodurch beispielsweise der Compiler bei der Erstellung einer Anwendung kaum bei der Fehlersuche helfen kann. Diese Aufgabe übernehmen deshalb spezielle Tools, die eine Analyse der Quellen durchführen und bei Fehlern Alarm schlagen. Denn Speicherfehler, von denen im übrigen auch der Linux-Kernel nicht gefeit ist, enden in den meisten Fällen in einem Absturz der Anwendung, der wiederum für Angriffe genutzt werden kann.
Die unter der MIT-Lizenz stehende Spezifikation wird von Microsoft zusammen mit Forschern der Universität von Maryland entwickelt und durch das Feedback weiterer Unternehmen und Bildungseinrichtungen begleitet. »Checked C« selbst finden Interessenten in Form einer PDF-Datei auf Github. Zudem stellt das Unternehmen die Quellen der Datei im Latex-Format zum Bezug bereit. Zugleich stellen die Microsoft-Entwickler auch modifizierte Varianten von LLVM und Clang zum Bezug bereit, die Checked C unterstützen und das Regelwerk anwenden. Auch hier finden sich die Quellen auf Microsofts Github-Webseite.