Cette page est en cours de rédaction.
Apportez votre aide…

Ceci est une ancienne révision du document !



Les analyseurs de code static

En informatique, la notion d'analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débogage ou le profiling) qui sont concernés par le suivi de l'exécution du programme.

L'analyse statique est utilisée pour repérer des erreurs de programmation ou de conception, mais aussi pour déterminer la facilité ou la difficulté à maintenir le code.

Elle permet l'optimisation du code au niveau de l'exécution, de la mémoire, de sa sécurité.

C / C++

Concurrents majeurs propriétaires : pc-lint(gimpel),Klocwork, Coverity, PolySpace

Outil de métrique (pas d'analyse) :

.net

PHP

Java

Application web


  • analyseur_de_code_static.1282506993.txt.gz
  • Dernière modification: Le 22/08/2010, 21:56
  • par psychederic