Der Entwickler von Cppcheck (Daniel Marjamäki) plant, die Möglichkeit zur Verifikation von Software in C und C++ in seinen statischen Analysewerkzeug hinzuzufügen.
Softwareverifikation in Cppcheck
Im „Verifikationsmodus“ wird Cppcheck Warnungen ausgeben, wenn nicht bestätigt werden kann, dass der Code sicher ist. Dies kann jedoch zu Rausch (mehreren Warnungen) führen.
Umsetzungspläne
Der Verifikationsmodus wird schrittweise umgesetzt. In der ersten Phase liegt der Fokus auf der Überprüfung der „Division durch Null“. Dies ist eine relativ einfache Überprüfung. Jede Funktion wird einzeln überprüft. Dabei wird angenommen, dass alle Eingabewerte beliebige Werte annehmen können. Überprüfungen anderer Arten von undefiniertem Verhalten werden später hinzugefügt. Es ist auch geplant, die syntaktische Analyse von C und C++ zu verbessern.
Beschleunigung der Entwicklung
Das Ziel der Mittelbeschaffung auf Kickstarter besteht darin, die Entwicklung des Verifizierungsmodus zu beschleunigen. Diese Funktion wird in jedem Fall hinzugefügt, aber die Arbeit könnte länger dauern, wenn nicht genügend Mittel gesammelt werden. Wird das benötigte Geld jedoch aufgebracht, kann Daniel seinen Hauptjob unterbrechen, um sich vollständig dem Projekt cppcheck zu widmen.
Projektziele
Verbesserung des C++-Analyzers.
Quelle: linux.org.ru
