Utgåvan av cppcheck 2.7, en statisk kodanalysator för C++ och C-språk.

Den nya versionen av den statiska kodanalysatorn cppcheck 2.7 har släppts, som gör det möjligt att upptäcka olika typer av fel i C och C++-kod, inklusive när icke-standard syntax används, vilket är typiskt för inbäddade system. En samling plugins tillhandahålls för att integrera cppcheck med olika utvecklingssystem, kontinuerlig integration och testning, samt möjligheter som kontroll av kodens överensstämmelse med stilguide. Både en egen parser och en extern parser från Clang kan användas för kodanalys. Scriptet donate-cpu.py ingår också för att tillhandahålla lokala resurser för gemensam kodgranskning av Debian-paket. Källkoden för projektet distribueras under GPLv3-licensen.

Utvecklingen av cppcheck fokuserar på att identifiera problem relaterade till odefinierat beteende och användningen av konstruktioner som är farliga ur säkerhetssynpunkt. Målet är också att minimera falska positiva resultat. Bland de problem som upptäckts finns: pekare på obefintliga objekt, division med noll, heltalsöverskridningar, felaktiga bitförflyttningar, inkorrekta omvandlingar, minneshanteringsproblem, felaktig användning av STL, dereferensiering av nollpekare, kontroller efter verklig åtkomst till bufferten, överträdelse av buffertgränser, användning av oinitierade variabler.

Samtidigt utvecklar det svenska företaget Cppcheck Solutions AB en utökad version av Cppcheck Premium, som erbjuder analys för närvaro av oändliga loopar, förbättrad sökning av oinitierade variabler och utökad analys av buffertöverskridning.

I den nya versionen:

• Stöd för visningar (view) av containrar har lagts till — i bibliotekets tag har en view-attribut lagts till som anger att klassen är en vy. Kodanalysen av livslängd har uppdaterats för att använda detta attribut vid sökning efter 'hängande' containrar;
• Kontroller har förbättrats;
• Ansamling av fel har åtgärdats och brister i analysatorn har eliminerats.

Källa: opennet.ru