Gefa út cppcheck 2.7, kyrrstöðugreiningartæki fyrir C++ og C tungumál

Ný útgáfa af kyrrstöðukóðagreiningartækinu cppcheck 2.7 hefur verið gefin út, sem gerir þér kleift að bera kennsl á ýmsa flokka villna í kóða á C og C++ tungumálunum, þar á meðal þegar þú notar óstöðluð setningafræði, dæmigerð fyrir innbyggð kerfi. Safn af viðbótum er til staðar þar sem cppcheck er samþætt ýmsum þróunar-, samfelldri samþættingu og prófunarkerfum, og býður einnig upp á eiginleika eins og að athuga samræmi kóðans við kóðastílinn. Til að flokka kóða geturðu notað annað hvort þinn eigin þáttara eða ytri flokka frá Clang. Það felur einnig í sér donate-cpu.py forskriftina til að útvega staðbundin úrræði til að vinna samvinnukóða endurskoðunarvinnu fyrir Debian pakka. Frumkóði verkefnisins er dreift undir GPLv3 leyfinu.

Þróun cppcheck beinist að því að greina vandamál sem tengjast óskilgreindri hegðun og notkun hönnunar sem er hættuleg út frá öryggissjónarmiðum. Markmiðið er einnig að lágmarka rangar jákvæðar. Meðal tilgreindra vandamála: ábendingar um hluti sem ekki eru til, skipting með núll, heiltöluflæði, rangar bitaskiptingaraðgerðir, rangar umbreytingar, vandamál þegar unnið er með minni, röng notkun á STL, núllbendistilvísanir, notkun ávísana eftir raunverulegan aðgang til biðminni, biðminni offramkeyrt, notkun óuppstilltra breytna.

Samhliða því er sænska fyrirtækið Cppcheck Solutions AB að þróa útbreidda útgáfu af Cppcheck Premium, sem veitir greiningu á tilvist óendanlegra lykkjur, bætta leit að óforstilltum breytum og háþróaða biðminni yfirflæðisgreiningu.

Í nýju útgáfunni:

  • Bætt við stuðningi við skoðanir á gámum - útsýniseigindinu hefur verið bætt við bókasafnsmerkið, sem gefur til kynna að flokkurinn sé útsýni. Líftímagreiningarkóðinn hefur verið uppfærður til að nota þennan eiginleika þegar leitað er að hangandi gámum;
  • Bætt eftirlit;
  • Uppsafnaðar villur hafa verið lagfærðar og gallar í greiningartækinu eytt.

Heimild: opennet.ru

Bæta við athugasemd