{"id":101563,"date":"2021-10-07T16:22:54","date_gmt":"2021-10-07T14:22:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s"},"modified":"2021-10-07T16:22:54","modified_gmt":"2021-10-07T14:22:54","slug":"vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","status":"publish","type":"post","link":"https:\/\/prohoster.info\/nl\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"De release van cppcheck 2.6, een statische code-analyzer voor de talen C++ en C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
De nieuwe versie van de statische code-analyse tool cppcheck 2.6 is uitgebracht. Deze tool maakt het mogelijk om verschillende soorten fouten in C en C++ code te identificeren, zelfs bij het gebruik van niet-standaard syntaxis die typisch is voor embedded systemen. Er is een collectie plugins beschikbaar die de integratie van cppcheck met verschillende ontwikkelingssystemen, continue integratie en testtools mogelijk maakt, en daarnaast biedt het mogelijkheden zoals naleving van code-stijl richtlijnen. Zowel de eigen parser als de externe parser van Clang kunnen worden gebruikt voor de code-analyse. Ook bevat de tool het script donate-cpu.py voor het aanbieden van lokale middelen voor het gezamenlijk controleren van Debian-pakketten. De bronbestanden van het project zijn beschikbaar onder de GPLv3-licentie. <\/p>\n
De ontwikkeling van cppcheck is gericht op het identificeren van problemen gerelateerd aan onbepaald gedrag en het gebruik van constructies die potentieel onveilig zijn. Een ander doel is het minimaliseren van valse positieven. Onder de ge\u00efdentificeerde problemen zijn: pointers naar niet-bestaande objecten, delingen door nul, gehele getaloverlopen, onjuiste bitverschuivingen, onjuiste conversies, problemen met geheugenbeheer, onjuist gebruik van STL, derefereren van nul-pointers, controles uitvoeren na daadwerkelijke toegang tot een buffer, bufferoverlopen, en het gebruik van niet-ge\u00efnitieerde variabelen. <\/p>\n
In de nieuwe versie: <\/p>\n
\n
De volgende controles zijn aan de kernel van de analyse tool toegevoegd:\n
\n
afwezigheid van een return statement in de functiebody;\n
het te vergelijken waarde ligt buiten de reikwijdte van de datatypes;\n
optimalisatie van kopi\u00ebren wordt niet toegepast voor return std::move(local);\n
een bestand kan niet gelijktijdig voor lezen en schrijven worden geopend in verschillende streams; <\/ul>\n
voor Unix-platforms is ondersteuning toegevoegd voor het weergeven van diagnostische berichten in verschillende kleuren;\n
symbolische analyse voor ValueFlow is toegevoegd. Er wordt een eenvoudige delta gebruikt om verschillen tussen twee onbekende variabelen te berekenen;\n
De regels die worden gebruikt voor de lijst met tokens «define» kunnen ook van toepassing zijn op #include;\n
De bibliotheektag kan nu de tag bevatten, en overeenkomstig kunnen functies zoals std::size, std::empty, std::begin, std::end, enz. yeld of action voor containers aangeven;\n
De bibliotheektag <smart-pointer> kan nu de tag <unique> bevatten voor slimme pointers die exclusief eigendom hebben (unique ownership). Er wordt nu een waarschuwing gegeven voor 'hanging' verwijzingen naar deze soort slimme pointers;\n
Problemen met de verwerking van de parameter —cppcheck-build-dir zijn opgelost;\n
htmlreport kan nu auteurinformatie weergeven (met behulp van git blame);\n
De waarschuwingen voor variabelen die niet constant zijn, maar dat wel zouden kunnen zijn, zijn uitgebreid;\n
Opgehoopte fouten en tekortkomingen van de analyzer zijn opgelost. <\/ul>\n