Rilaxx ta' l-analizzatur statiku cppcheck 2.1

Disponibbli rilaxx ġdid ta 'analizzatur statiku b'xejn cppcheck 2.1, li jippermettilek tidentifika diversi klassijiet ta' żbalji fil-kodiċi fil-lingwi C u C++, inkluż meta tuża sintassi mhux standard, tipika għal sistemi inkorporati. Tiġi pprovduta ġabra ta’ plugins li permezz tagħhom cppcheck jiġi integrat ma’ diversi sistemi ta’ żvilupp, integrazzjoni kontinwa u ttestjar, u jipprovdi wkoll karatteristiċi bħal check konformità tal-kodiċi mal-istil tal-ifformattjar tal-kodiċi. Biex teżamina l-kodiċi, tista 'tuża jew parser tiegħek jew parser estern minn Clang. Jinkludi wkoll l-iskrittura donate-cpu.py biex jipprovdi riżorsi lokali biex isir xogħol kollaborattiv ta' reviżjoni tal-kodiċi għall-pakketti Debian. Sorsi tal-proġett imqassma minn liċenzjat taħt GPLv3.

L-iżvilupp ta 'cppcheck huwa ffukat fuq l-identifikazzjoni ta' problemi assoċjati ma 'imġieba mhux definita u l-użu ta' disinji li huma perikolużi mil-lat tas-sikurezza. L-għan huwa wkoll li jiġu minimizzati l-pożittivi foloz. Fost identifikati problemi: indikaturi għal oġġetti ineżistenti, diviżjoni b'żero, overflows ta' numru sħiħ, operazzjonijiet ta' shift tal-bit mhux korretti, konverżjonijiet mhux korretti, problemi ta' memorja, użu ħażin ta' STL, dereferencing ta' pointers nulli, applikazzjoni ta' kontrolli wara l-aċċess attwali għall-buffer, buffer overruns, użu varjabbli mhux inizjalizzati.

Sors: opennet.ru

Żid kumment