De nieuwe versie van de statische code-analyzer cppcheck 2.7 is uitgebracht, die verschillende klassen van fouten in C- en C++-code kan identificeren, ook bij het gebruik van niet-standaard syntaxis die typisch is voor embedded systemen. Er is een collectie van plugins beschikbaar, die de integratie van cppcheck met verschillende ontwikkelingssystemen, continue integratie en testprocessen mogelijk maken, evenals mogelijkheden om de code te controleren op naleving van de codeerstandaard. Voor het analyseren van de code kan zowel de eigen parser als de externe parser van Clang worden gebruikt. Ook is er een script opgenomen, donate-cpu.py, voor het aanbieden van lokale middelen om samen te werken aan de codecheck van Debian-pakketten. De bronbestanden van het project worden verspreid onder de GPLv3-licentie.
De ontwikkeling van cppcheck richt zich op het identificeren van problemen die verband houden met onbepaald gedrag en het gebruik van constructies die veiligheidsrisico's met zich meebrengen. Een ander doel is de minimalisatie van valse positieven. Onder de geïdentificeerde problemen vallen: pointers naar niet-bestaande objecten, delingen door nul, gehele getal overloop, onjuist bitverschuivingsoperaties, onjuiste typeconversies, problemen met geheugenbeheer, onjuist gebruik van STL, dereferencen van nul-pointers, controles na feitelijk buffergebruik, bufferoverschrijdingen en het gebruik van niet-geïnitialiseerde variabelen.
Parallel aan het Zweedse bedrijf Cppcheck Solutions AB wordt een uitgebreide versie, Cppcheck Premium, ontwikkeld, die de analyse van eindeloze lussen biedt, verbeterde detectie van niet-geïnitialiseerde variabelen en uitgebreide analyse van bufferoverloop.
In de nieuwe versie:
- Ondersteuning voor containerweergaven (view) is toegevoegd - een attribute 'view' is aan de bibliotheektag toegevoegd, dat aangeeft dat de klasse een weergave is. De levensduur analysecode is bijgewerkt om dit attribute te gebruiken bij het zoeken naar 'hangende' containers;
- De controles zijn verbeterd;
- Achtergebleven fouten zijn verholpen en tekortkomingen van de analyzer zijn opgelost.
Bron: opennet.ru
