A cppcheck statikus analizátor feloldása 2.1

Elérhető ingyenes statikus analizátor új kiadása cppcheck 2.1, amely lehetővé teszi a kód különböző osztályainak azonosítását a C és C++ nyelvekben, beleértve a beágyazott rendszerekre jellemző, nem szabványos szintaxist is. Beépülő modulok gyűjteménye, amelyen keresztül a cppcheck integrálva van különféle fejlesztési, folyamatos integrációs és tesztelési rendszerekkel, és olyan funkciókat is biztosít, mint pl. ellenőrzés a kód megfelelése a kód formázási stílusának. A kód elemzéséhez használhatja a saját értelmezőjét vagy a Clang külső értelmezőjét. Tartalmazza a donate-cpu.py szkriptet is, amely helyi erőforrásokat biztosít a Debian csomagok együttműködési kódellenőrzéséhez. A projekt forrásai forgalmazza GPLv3 licenccel.

A cppcheck fejlesztése a meghatározatlan viselkedéssel és a biztonsági szempontból veszélyes tervek használatával kapcsolatos problémák azonosítására összpontosít. A cél az is, hogy minimálisra csökkentsük a hamis pozitívumot. Között azonosított problémák: mutatók nem létező objektumokra, osztás nullával, egész számok túlcsordulása, hibás biteltolási műveletek, hibás konverziók, problémák a memóriával való munka során, STL helytelen használata, nulla mutatók hivatkozásának megszüntetése, ellenőrzések alkalmazása a pufferhez való tényleges hozzáférés után, továbblépés pufferhatárokon túl, inicializálatlan változók használatával.

Forrás: opennet.ru

Hozzászólás