Utgåvan av den statiska analysatorn cppcheck 2.1

Tillgänglig ny utgåvan av den fria statiska analysatorn cppcheck 2.1, som gör det möjligt att identifiera olika typer av fel i C och C++-kod, inklusive vid användning av icke-standard syntax vanlig i inbyggda system. En samling av plugins erbjuds för att säkerställa integration av cppcheck med olika utvecklings-, kontinuerliga integrations- och testsystem, samt erbjuda funktioner som kodformatkontroll för att kontrollera att koden följer stilrekommendationerna. För att analysera koden kan antingen en egen parser eller en extern parser från Clang användas. Inkluderar också skriptet donate-cpu.py för att tillhandahålla lokala resurser för att utföra arbete med gemensam kodgranskning av Debian-paket. Projektets källkod sprids under GPLv3-licensen.

utvecklingen av cppcheck fokuserar på att identifiera problem relaterade till odefinierat beteende och användning av konstruktioner som är farliga ur säkerhetssynpunkt. Målet är också att minimera falska positiva resultat. Bland de identifierade problemen: pekare på icke-existerande objekt, division med noll, heltalsöverflöden, felaktiga bitförskjutningar, felaktiga omvandlingar, problem med minneshantering, felaktig användning av STL, avreferensiering av nullpekare, tillämpning av kontroller efter verklig åtkomst till bufferten, buffertöverskridningar, användning av oinitierade variabler.

Källa: opennet.ru