Puštanje statičkog analizatora cppcheck 2.1

Dostupno novo izdanje besplatnog statičkog analizatora cppcheck 2.1, koji vam omogućava da identifikujete različite klase grešaka u kodu u jezicima C i C++, uključujući upotrebu nestandardne sintakse, tipične za ugrađene sisteme. Obezbeđena je kolekcija dodataka preko kojih je cppcheck integrisan sa različitim sistemima za razvoj, kontinuiranu integraciju i testiranje, a takođe pruža i funkcije kao što su test usklađenost koda sa stilom oblikovanja koda. Za raščlanjivanje koda možete koristiti ili vlastiti parser ili vanjski parser iz Clanga. Također uključuje donate-cpu.py skriptu za pružanje lokalnih resursa za obavljanje kolaborativnog pregleda koda za Debian pakete. Izvori projekta distribuira licenciran pod GPLv3.

Razvoj cppcheck-a je fokusiran na identifikaciju problema povezanih s nedefiniranim ponašanjem i korištenjem dizajna koji su opasni sa sigurnosne točke gledišta. Cilj je i minimiziranje lažnih pozitivnih rezultata. Među identifikovan problemi: pokazivači na nepostojeće objekte, podjele na nulu, prekoračenja cijelih brojeva, pogrešne operacije pomaka bita, pogrešne konverzije, problemi pri radu sa memorijom, pogrešna upotreba STL-a, dereferenciranje nul pokazivača, primjena provjera nakon stvarnog pristupa baferu, odlazak izvan granica bafera, koristeći neinicijalizirane varijable.

izvor: opennet.ru

Dodajte komentar