Code statique en C + +

Nous pouvons définir le processus d'analyse statique de code source comme une procédure par laquelle les portions sont identifiés code unsafe sans faire l'exécution effective du programme.

Analyse statique 'S peut être effectuée automatiquement, qui est, par ses propres outils spécifiques utiles pour soutenir le processus de test. Observez comment la phase de tests de logiciels, dans son intégralité, est un processus très complexe et fait en général par les programmeurs qui décident de se spécialiser dans ce domaine particulier. Des outils logiciels dédiés à «l'analyse de code statique donc aider à réduire le temps et les coûts, en fournissant une première indication sur ce que des sections de code pour être tenu de vérifier plus attentivement.

Les types d'erreurs détectées par les instruments mentionnés sont la mise à jour multiples et continue, développement des affaires, en fait, ce type de logiciel va à grand rythme pour longtemps maintenant.

Important à cet égard à la valeur historique d'un programme comme Lint , sorti en 1979, qui fonctionne sur Linux et dédié au langage de programmation C . Lint est un véritable emblème pour les logiciels le code de vérification statique, parfois identifiés comme "charpie comme des outils», ou «peluches comme des outils."

Les analyseurs modernes statiques sont également en mesure de vérifier le code conçu pour fonctionner en parallèle, offrant des suggestions spécifiques pour ces applications.

Dans cet article, nous nous concentrons sur ce type d'instrument, en essayant d'offrir un bref aperçu des possibilités dans le code statique pour exécuter des programmes de langue en parallèle C + + (le plus populaire et versatile dans la nature). Pour commencer, examinons un logiciel générique et flexible comme un PC-Lint .

PC-Lint

PC-Lint est conçu pour fournir une performance optimale dans l'analyse de programmes qui utilisent les threads POSIX , mais peut être utilisé efficacement dans un cas générique. Je ne veux pas dire que l'analyse faite par le logiciel est en tout point automatique.

Il apparaît nécessaire de spécifier manuellement les fonctions que le programme sera exécuté en parallèle (ou même simultanément), de sorte que PC-Lint peut procéder à «l'analyse statique de l'équité (que oui, automatique), juste dans ces sections. Pour ce faire, vous devez utiliser l'option-toujours sur l'exécution de la ligne de commande PC-Lint. Par exemple la déclaration suivante:

 



 peluches-sem (func, filet)

 

communique avec le PC-Lint est nécessaire d'analyser la fonction func, comme il se dérouleront simultanément. Vous allez maintenant recevoir des messages d'erreur liés à la fonction en gardant à l'esprit que vous devez également gérer l'exécution parallèle de la même chose, puis en soulignant, par exemple, si une variable partagée est utilisée ou modifié sans définition correcte d'une section critique.

Il était à cet égard, si l'exclusion mutuelle et primitives de synchronisation sont implémentés en utilisant les threads POSIX typique de formalisme, ou, par exemple, pthread_mutex_lock et pthread_mutex_unlock, vous n'aurez pas besoin de préciser quoi que ce soit de la ligne de commande. Sinon, les lignes directrices seront utilisées:

 -Sem (accès, thread_lock)







 -Sem (communiqué, thread_unlock)

pour indiquer que l'accès à la section critique est faite par une fonction appelée accès et la sortie de cet article est d'utiliser la fonction de libération.

Si, pour une analyse statique de notre code, mais nous voulions avoir un peu plus d'outils puissants et indépendants de PC-Lint, VivaMP pourrait être un bon choix.

• <<
• 1
• 2
• >>