Staattisen analysaattorin cppcheckin vapauttaminen 2.1

Saatavilla uusi julkaisu ilmainen staattinen analysaattori cppcheck 2.1, jonka avulla voit tunnistaa erilaisia ​​virheluokkia koodissa C- ja C++-kielissä, myös käytettäessä ei-standardista syntaksia, joka on tyypillistä sulautetuille järjestelmille. Tarjolla on kokoelma laajennuksia, joiden kautta cppcheck on integroitu erilaisiin kehitys-, jatkuvaan integrointi- ja testausjärjestelmiin ja tarjoaa myös sellaisia ​​ominaisuuksia kuin проверка koodin yhteensopivuus koodin muotoilutyylin kanssa. Voit jäsentää koodia joko omalla jäsentimelläsi tai ulkoisella Clangin jäsentimellä. Se sisältää myös komentosarjan donate-cpu.py, joka tarjoaa paikallisia resursseja Debian-pakettien yhteiskäyttöön tarkoitetun koodintarkistustyön tekemiseen. Hankkeen lähteet jakelija lisensoitu GPLv3:lla.

cppcheckin kehitystyössä keskitytään määrittelemättömään käyttäytymiseen liittyvien ongelmien tunnistamiseen ja turvallisuuden kannalta vaarallisten mallien käyttöön. Tavoitteena on myös minimoida vääriä positiivisia. Joukossa tunnistettu ongelmat: osoittimet olemattomiin objekteihin, jako nollalla, kokonaislukujen ylivuodot, virheelliset bitinsiirtotoiminnot, väärät muunnokset, ongelmat muistin kanssa työskennellessä, STL:n virheellinen käyttö, nollaosoittimien viittauksen purkaminen, tarkistusten tekeminen puskurin todellisen käytön jälkeen, meneminen puskurin rajojen yli käyttämällä alustamattomia muuttujia.

Lähde: opennet.ru

Lisää kommentti