Statiskā analizatora cppcheck atbrīvošana 2.1

Pieejams bezmaksas statiskā analizatora jaunais izlaidums cppcheck 2.1, kas ļauj identificēt dažādas kļūdu klases kodā C un C++ valodās, tostarp izmantojot nestandarta sintaksi, kas raksturīga iegultajām sistēmām. Tiek nodrošināta spraudņu kolekcija, ar kuras palīdzību cppcheck ir integrēts ar dažādām izstrādes, nepārtrauktas integrācijas un testēšanas sistēmām, kā arī nodrošina tādas funkcijas kā pārbaude koda atbilstība koda formatēšanas stilam. Lai parsētu kodu, varat izmantot savu parsētāju vai ārēju parsētāju no Clang. Tas ietver arī skriptu donate-cpu.py, lai nodrošinātu vietējos resursus, lai veiktu kopīgu koda pārskatīšanas darbu Debian pakotnēm. Projekta avoti izplata licencēts saskaņā ar GPLv3.

Cppcheck izstrāde ir vērsta uz tādu problēmu identificēšanu, kas saistītas ar nedefinētu uzvedību un tādu dizainu izmantošanu, kas ir bīstami no drošības viedokļa. Mērķis ir arī samazināt viltus pozitīvus rezultātus. Starp identificēts problēmas: norādes uz neesošiem objektiem, dalīšana ar nulli, veselu skaitļu pārpildes, nepareizas bitu nobīdes darbības, nepareizas konvertācijas, problēmas darbā ar atmiņu, nepareiza STL izmantošana, nulles rādītāju atsaistīšana, pārbaužu piemērošana pēc faktiskās piekļuves buferim, došanās ārpus bufera robežām, izmantojot neinicializētus mainīgos.

Avots: opennet.ru

Pievieno komentāru