{"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\/news\/proekt-cppcheck-sobiraet-sredstva-dlya-realizatsii-uluchshenij","title":{"rendered":"Das Projekt Cppcheck sammelt Mittel zur Umsetzung von Verbesserungen.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"


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

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

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

Softwareverifizierung in Cppcheck<\/h2>\n

Im Modus \u201eVerifizierung\u201c wird Cppcheck eine Warnung ausgeben, wenn es nicht gelingt, zu best\u00e4tigen, dass der Code sicher ist. Dies kann jedoch zu Rauschen (mehreren Warnungen) f\u00fchren.<\/p>\n

Implementierungspl\u00e4ne<\/h2>\n

Der Verifizierungsmodus wird schrittweise implementiert. In der ersten Phase wird die Arbeit auf die \u00dcberpr\u00fcfung von \"Division durch Null\" konzentriert. Dies ist eine relativ einfache Pr\u00fcfung. Jede Funktion wird einzeln \u00fcberpr\u00fcft. Dabei wird angenommen, dass alle Eingabewerte beliebige Werte annehmen k\u00f6nnen. \u00dcberpr\u00fcfungen anderer Arten von unbestimmtem Verhalten werden sp\u00e4ter hinzugef\u00fcgt. Es ist auch geplant, die Syntaxanalyse f\u00fcr C und C++ zu verbessern.<\/p>\n

Entwicklungsbeschleunigung<\/h2>\n

Ziel der Mittelbeschaffung \u00fcber Kickstarter ist die Beschleunigung der Entwicklung des Verifizierungsmodus. Diese Funktion wird in jedem Fall hinzugef\u00fcgt, aber die Arbeit k\u00f6nnte l\u00e4nger dauern, wenn die Mittel nicht gesammelt werden. Wenn die Mittel jedoch gesammelt werden, kann Daniel eine Auszeit von seiner Hauptbesch\u00e4ftigung nehmen, um seine gesamte Arbeitszeit dem Projekt cppcheck zu widmen.<\/p>\n

Projektziele<\/h2>\n