Statinis kodo C + +

Mes galime nustatyti statinio analizė kodą proceso tvarka, pagal kurią dalis yra nustatyti nesaugius kodą nedarant faktinių programos vykdymo.

"Statinis analizė gali būti atlikta automatiškai, tai yra, pagal savo konkrečias priemones, naudinga palaikyti testavimo procesą. Stebėti, kaip bandymų etapas programinės įrangos, jos visuma, yra labai sudėtingas procesas ir paprastai atlieka programuotojų, kurie nori specializuotis šioje konkrečioje srityje. Programinė įranga skirta "statinio kodo analizė taip padėti sumažinti laiką ir išlaidas, teikiant pirmą užuominą apie tai, ką skyriai kodas reikalingas patikrinti daugiau kruopščiai.

Klaidų aptikti nurodytų dokumentų tipų yra labai daug ir nuolat atnaujinti, tai programinės įrangos verslo plėtros natūra, pajamos už puikią tempą ilgą laiką dabar.

Svarbi šiuo atžvilgiu istorinę vertę, pavyzdžiui, programa Lint , išleista 1979 metais, kuris veikia "Linux" ir skirta programavimo kalba C . Lint yra tikras orientyras statinio kodo tikrinimo programinę įrangą, kartais įvardyti kaip "pūkelių kaip įrankis" arba "Korp kaip įrankiai."

Modernus statinį analizatoriai taip pat galėtų patikrinti kodą, skirta lygiagrečiai, teikiant konkrečius pasiūlymus dėl tokių paraiškų.

Į šį straipsnį, mes orientuojamės į šio dokumento tipo, bando pasiūlyti trumpa galimybes statinio kodo programų lygiagrečiai kalba C + + (labiausiai populiarus ir universalus gamtoje). Norėdami pradėti, mes ištirti bendrą programinę įrangą ir lanksčios PC-Lint .

PC-Lint

PC-Lint sukurta siekiant suteikti optimalią veiklos, susijusios su programų, kurios naudoja analizė POSIX temas , tačiau gali būti efektyviai naudojamas bendrinis atveju. Ji negali būti teigiama, kad atliktos analizės programinė įranga yra visiškai automatinė ir visi.

Atrodo, reikia rankiniu būdu nustatyti funkcijas, kad programa bus lygiagrečiai (ar net konkurentas), kad PC-Lint gali pereiti į "statinė analizė teisingumo (tai reiškia, automatinis) tik šiuose skirsniuose. Norint tai pasiekti, turite naudoti parinktį-visada dėl PC-Lint komandinės eilutės vykdymą. Pavyzdžiui, teiginys:

 



 pūkelių SEM (funkcijas, siūlus)

 

bendrauja su kompiuteriu-Lint būtina analizuoti funkcija funkcijas, kaip bus daromas vienu metu. Jūs dabar klaidos pranešimų, susijusių su šia funkcija, atsižvelgiant į tai, kad jūs taip pat turi dirbti lygiagrečiai vykdyti tą patį, taip nurodant, pavyzdžiui, jei bendras kintamasis naudojamas arba pakeistas be tinkamai apibrėžti ypatingos svarbos skyriuje.

Būtent šiuo atžvilgiu, jei tarpusavio atskirties ir sinchronizavimas primityvai yra įgyvendinamos naudojant formalizmo tipiškas POSIX temas, arba, pavyzdžiui, pthread_mutex_lock ir pthread_mutex_unlock, Jums nereikia nurodyti nieko apie tai iš komandinės eilutės. Priešingu atveju, šios gairės turi būti naudojamas:

 -Sem (prieiga, thread_lock)







 -Sem (spaudai, thread_unlock)

nurodyti, kad prieiga prie kritinių skyriuje yra atliekami per funkcija vadinama prieigos ir to skyriaus spaudai naudoja funkcija spaudai.

Jei, statinė analizė mūsų kodą, bet mes norėjome turėti šiek tiek daugiau galingų įrankių ir nepriklausomas PC-Lint, VivaMP gali būti geras pasirinkimas.

• <<
• 1
• 2
• >>