Moderne statische Codeanalyse für das Internet der Dinge

摘要

Obwohl C in vielerlei Hinsicht eine problematische Programmiersprache ist, kann sie ihre dominierende Stellung bei der Implementierung vieler IoT-Geräte behaupten. C++ ist in einigen Aspekten schon deutlich besser, doch hat diese Sprache einige fundamentale Schwächen geerbt. Zudem sind viele der Konstrukte, die das Programmieren in C++ so komfortabel machen (etwa STL, Exceptions), in Embedded-Systemen ohnehin unzulässig. Was die statische Typisierung betrifft, besteht eine entscheidende Schwäche darin, dass sich Programme schreiben lassen, die vom Compiler akzeptiert werden, aber kei- nen Sinn ergeben. Ohne dass der Compiler eine Warnung erzeugt, kann häufig ein Wert eines Typs so behandelt werden, als sei er von einem anderen Typ. Sorgfältige Programmierer wissen einige dieser Probleme zwar zu umgehen, aber beim Einsatz bestimmter Standardbibliotheken ist das schwierig. So können selbst sehr erfahrenen Programmierern leicht Fehler unterlaufen, die sich einer frühzeitigen Aufdeckung entziehen.