Estàtic de codi en C + +

Podem definir el procés d'anàlisi estàtic de codi font com un procediment mitjançant el qual s'identifiquen les porcions de codi no segur sense que l'execució real del programa.

L'anàlisi "estàtic es pot realitzar de forma automàtica, és a dir, per les seves pròpies eines útils específics per donar suport al procés de prova. Observeu com la fase de prova del programari, en la seva totalitat, és un procés molt complex i en general realitzat pels programadors que opten per especialitzar-se en aquesta àrea en particular. Eines de programari dedicat a la "anàlisi de codi estàtic ajudar així a reduir temps i costos, proporcionant un primer indici del que les seccions de codi cal revisar amb més cura.

El tipus d'errors detectats en els instruments esmentats són nombrosos i actualització contínua, aquest tipus de desenvolupament programari de negocis, es procedeix a un ritme ideal per a un llarg temps.

Important en aquest sentit el valor històric d'un programa com el borrissol , llançat el 1979, que s'executa en Linux i dedicat al llenguatge de programació C . Lint és un veritable fita per al programari de verificació de codi estàtic, de vegades identificat com "borrissol com a eina", o "fils com les eines."

Els analitzadors estàtics moderns també són capaços de verificar el codi dissenyat per funcionar en paral · lel, realitzar suggeriments específics per a aquestes aplicacions.

En el següent article, ens centrem en aquest tipus d'instrument, tractant d'oferir un breu panorama de les possibilitats en el codi estàtic de programes que s'executen en paral · lel llenguatge C + + (els més populars i versàtils en la naturalesa). Per començar, s'analitza un programari genèric i flexible com una PC-Lint .

PC-Lint

PC-Lint està dissenyat per proporcionar un rendiment òptim en l'anàlisi dels programes que utilitzen els fils POSIX , però pot ser utilitzat amb eficàcia en un cas genèric. No es pot afirmar que l'anàlisi realitzat pel programari és completament automàtic i tot.

Sembla necessari especificar manualment les funcions que el programa s'executarà en paral · lel (o fins i tot la competència), de manera que PC-Lint pot procedir al "anàlisi estàtic de la justícia (és a dir, automàtica) només en aquestes seccions. Per aconseguir això, ha d'utilitzar l'opció-sempre sobre l'execució de la línia d'ordres de PC-Lint. Per exemple, la declaració:

 



 borrissol sem (func, fil)

 

es comunica amb PC-Lint cal analitzar la funció func, que es durà a terme al mateix temps. Ara rebrà missatges d'error relacionats amb aquesta funció tenint en compte que també haurà de controlar l'execució en paral · lel de la mateixa, indicant així, per exemple, si una variable compartida és utilitzada o modificada sense definició adequada d'una secció crítica.

Va ser en aquest sentit, si l'exclusió mútua i primitives de sincronització s'implementen mitjançant els fils POSIX formalisme típic, o, per exemple, pthread_mutex_lock i pthread_mutex_unlock, no haurà d'especificar res sobre això de la línia d'ordres. En cas contrari, les directrius haurien de ser utilitzades:

 -Sem (accés, thread_lock)







 -Sem (alliberament, thread_unlock)

per indicar que l'accés a la secció crítica es fa a través d'una funció anomenada l'accés i l'alliberament d'aquesta secció és l'ús de la funció d'alliberament.

Si, per l'anàlisi estàtica del nostre codi, però volíem tenir una eina una mica més potent i independent de la PC-Lint, VivaMP podria ser una bona opció.

• <<
• 1
• 2
• >>