{"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\/da\/blog\/news\/vypusk-cppcheck-2-6-staticheskogo-analizatora-koda-dlya-yazykov-c-i-s","title":{"rendered":"Udgivelse af cppcheck 2.6, en statisk kodeanalysator til C++ og C-sprog.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Den nye version af statisk kodeanalysator cppcheck 2.6 er udgivet. Den g\u00f8r det muligt at identificere forskellige klasser af fejl i C og C++-kode, herunder ved brug af ikke-standard syntaks, typisk for indlejrede systemer. Der tilbydes en samling af plugins, der sikrer integration af cppcheck med forskellige udviklingssystemer, kontinuerlig integration og testning, samt muligheder som tjek af kode for overholdelse af kodestil. B\u00e5de en intern parser og en ekstern parser fra Clang kan anvendes til kodeanalysen. Desuden er der inkluderet et script donate-cpu.py til at tilbyde lokale ressourcer til udf\u00f8relse af f\u00e6lles kodegennemgang af Debian-pakker. Kildekoden til projektet distribueres under GPLv3-licensen. <\/p>\n
Udviklingen af cppcheck er fokuseret p\u00e5 at identificere problemer relateret til usikkert adf\u00e6rd og anvendelse af konstruktioner, der er farlige i sikkerhedsm\u00e6ssig forstand. M\u00e5let er ogs\u00e5 at minimere falske positiver. Blandt de identificerede problemer er: pegere p\u00e5 ikke-eksisterende objekter, division med nul, heltalsoverl\u00f8b, ukorrekte bit-shift-operationer, ukorrekte konverteringer, problemer med hukommelse, forkerte anvendelser af STL, dereferencering af nul-pegere, anvendelse af tjek efter faktisk adgang til buffer, buffer-overl\u00f8b og brug af uinitialiserede variabler. <\/p>\n
I den nye version: <\/p>\n
\n
F\u00f8lgende tjek er blevet tilf\u00f8jet til analysemotoren:\n
\n
mangel p\u00e5 return-s\u00e6tning i funktionen;\n
skrivning af overlappende data, identifikation af usikker adf\u00e6rd;\n
den sammenlignede v\u00e6rdi ligger uden for repr\u00e6sentationen af v\u00e6rditypen;\n
optimering af kopiering anvendes ikke for return std::move(local);\n
filen kan ikke \u00e5bnes samtidig for l\u00e6sning og skrivning i forskellige str\u00f8mme; <\/ul>\n
der er tilf\u00f8jet support til udskrivning af diagnostiske meddelelser med forskellige farver til Unix-platforme;\n
der er tilf\u00f8jet symbolanalyse for ValueFlow. En simpel delta anvendes til at beregne forskellene mellem to ukendte variable;\n
Reglerne, der bruges til tokenslisten \u00abdefine\u00bb, kan ogs\u00e5 g\u00e6lde for #include;\n
Bibliotek tag kan nu indeholde tag , og de tilsvarende funktioner free, som kan tage s\u00e5danne containere som std::size, std::empty, std::begin, std::end osv., kan angive yield eller action for containerne;\n
Bibliotekstagen kan nu indeholde taggen til smarte pointers, som har unik ejerskab (unique ownership). Der gives nu en advarsel om \u00abh\u00e6ngende\u00bb referencer til denne type smarte pointers;\n
Problemer med behandling af parameteren \u2014cppcheck-build-dir er blevet rettet;\n
htmlreport kan nu udskrive information om forfatteren (ved hj\u00e6lp af git blame);\n
Advarsler om variabler, der ikke er konstante, men kunne v\u00e6re det, er blevet udvidet;\n
Akkumulerede fejl og mangler i analysatoren er blevet rettet. <\/ul>\n