{"id":52733,"date":"2019-11-15T00:00:00","date_gmt":"2019-11-14T21:00:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/blog_prohoster\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij"},"modified":"2020-02-18T14:00:32","modified_gmt":"2020-02-18T11:00:32","slug":"proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","status":"publish","type":"post","link":"https:\/\/prohoster.info\/de\/blog\/novosti-interneta\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Das Cppcheck-Projekt sammelt Mittel, um Verbesserungen zu realisieren.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


\n \"Das<\/p>\n

<\/a><\/p>\n

Der Entwickler von Cppcheck (Daniel Marjam\u00e4ki) plant, die M\u00f6glichkeit zur Verifikation von Software in C und C++ in seinen statischen Analysewerkzeug hinzuzuf\u00fcgen.<\/p>\n

Softwareverifikation in Cppcheck<\/h2>\n

Im \u201eVerifikationsmodus\u201c wird Cppcheck Warnungen ausgeben, wenn nicht best\u00e4tigt werden kann, dass der Code sicher ist. Dies kann jedoch zu Rausch (mehreren Warnungen) f\u00fchren.<\/p>\n

Umsetzungspl\u00e4ne<\/h2>\n

Der Verifikationsmodus wird schrittweise umgesetzt. In der ersten Phase liegt der Fokus auf der \u00dcberpr\u00fcfung der \u201eDivision durch Null\u201c. Dies ist eine relativ einfache \u00dcberpr\u00fcfung. Jede Funktion wird einzeln \u00fcberpr\u00fcft. Dabei wird angenommen, dass alle Eingabewerte beliebige Werte annehmen k\u00f6nnen. \u00dcberpr\u00fcfungen anderer Arten von undefiniertem Verhalten werden sp\u00e4ter hinzugef\u00fcgt. Es ist auch geplant, die syntaktische Analyse von C und C++ zu verbessern.<\/p>\n

Beschleunigung der Entwicklung<\/h2>\n

Das Ziel der Mittelbeschaffung auf Kickstarter besteht darin, die Entwicklung des Verifizierungsmodus zu beschleunigen. Diese Funktion wird in jedem Fall hinzugef\u00fcgt, aber die Arbeit k\u00f6nnte l\u00e4nger dauern, wenn nicht gen\u00fcgend Mittel gesammelt werden. Wird das ben\u00f6tigte Geld jedoch aufgebracht, kann Daniel seinen Hauptjob unterbrechen, um sich vollst\u00e4ndig dem Projekt cppcheck zu widmen.<\/p>\n

Projektziele<\/h2>\n