Codul static în C + +

Putem defini procesul de analiza statica a codului sursă ca o procedura prin care sunt identificate porţiuni cod nesigur, fără a face executarea propriu-zisă a programului.

Analiza statica "S poate fi efectuat în mod automat, că este, în propriile noastre unelte specifice utile pentru a sprijini procesul de testare. Observaţi modul în care faza de testare software-ului, în întregime, este un proces foarte complex şi face de obicei de către programatori care decid să se specializeze în acest domeniu special. Instrumente software dedicate pentru "analiză de cod statice ajuta, astfel, pentru a reduce timpul si costurile, oferind un indiciu asupra a ceea ce primul secţiuni de cod care urmează să fie solicitat pentru a verifica cu mai multă atenţie.

Tipuri de erori detectate de instrumentele menţionate sunt multiple şi actualizarea permanentă, dezvoltarea afacerilor, de fapt, acest tip de software merge la mare ritm de mult timp acum.

Important în acest sens valoarea istorică a unui program ca Lint , lansat în 1979, care ruleaza pe Linux şi dedicat limbajul de programare C . Cârpă este un punct de reper real pentru software-ul static cod de verificare, uneori identificat ca "scame-ca unelte", sau "scame ca unelte."

Analizoarele statice sunt moderne, de asemenea, posibilitatea de a verifica codul concepute pentru a rula în paralel, oferind sugestii specifice pentru astfel de aplicaţii.

În acest articol, ne vom concentra pe acest tip de instrument, încercând să ofere o scurtă trecere în revistă a posibilităţilor existente în cod static pentru programele care rulează în paralel limbajul C + + (cel mai popular si versatil in natura). Pentru a începe, haideţi să examineze un software generic si flexibil ca un PC-Lint .

PC-Lint

PC-scame este proiectat pentru a oferi performanţă optimă în analiza a programelor care utilizează fire POSIX , dar pot fi folosite eficient într-un caz generic. Nu vreau să spun că analiza efectuată de către software-ul este în fiecare mod automat.

Se pare necesar să se precizeze manual funcţiile pe care programul se va derula în paralel (sau chiar simultan), astfel încât PC-Cârpă poate trece la "analiza statica de echitate (care da, automată), doar în aceste secţiuni. Pentru a realiza acest lucru, trebuie să utilizaţi opţiunea-întotdeauna cu privire la executarea de linie de comandă PC-Lint. De exemplu situaţia:

 



 scame-sem (func, filet)

 

comunică cu PC-Cârpă este necesar să se analizeze funcţionarea funcţia, aşa cum se va desfăşura concomitent. Veţi primi acum mesaje de eroare referitoare la funcţia având în vedere faptul că trebuie să se ocupe, de asemenea, executarea în paralel a aceluiaşi, apoi arătând, de exemplu, în cazul în care o variabilă în comun este utilizat sau modificat fara definiţie adecvată a-o secţiune critică.

Acesta a fost, în această privinţă, în cazul în care excludere reciprocă şi primitive de sincronizare sunt implementate folosind fire POSIX tipice de formalism, sau, de exemplu, pthread_mutex_lock şi pthread_mutex_unlock, nu veţi avea nevoie pentru a specifica nimic despre el de la linia de comandă. În caz contrar, liniile directoare vor fi utilizate:

 -Sem (acces, thread_lock)







 -Sem (eliberare, thread_unlock)

pentru a indica faptul că accesul la secţiunea critică se face printr-o funcţie numită de acces, precum şi eliberarea din această secţiune este utilizând funcţia de presă.

În cazul în care, pentru o analiză statică a codului nostru, dar am vrut să aibă un uşor instrumente mai puternice şi independente de PC-Lint, VivaMP ar putea fi o alegere buna.

• <<
• 1
• 2
• >>