✎ analyseur_de_code_static [Wiki ubuntu-fr]

Vous affichez une ancienne révision du document ! Si vous l'enregistrez, vous créerez une nouvelle version avec ce contenu.

{{tag>programmation BROUILLON}}
----

====== 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é.

===== Par langage =====
==== C / C++ ====

<note>Concurrent majeur propriétaire : [[http://en.wikipedia.org/wiki/PC-Lint|pc-lint]](gimpel),[[http://www.klocwork.com/|Klocwork]], [[http://www.coverity.com/|Coverity]],  [[http://www.mathworks.com/products/polyspace/index.html|PolySpace]]</note>

* [[http://sparse.wiki.kernel.org/index.php/Main_Page|Sparse (utilisé pour le kernel linux)]] ( tourné pour les kernels )
  * **[[http://valgrind.org/|Valgrind]]** ( [[http://www.cprogramming.com/debugging/valgrind.html|tutoriel]] )
  * C++ Check http://sf.net/projects/cppcheck/
  * Oink http://www.cubewano.org/oink/
  * C and C++ Code Counter http://sourceforge.net/projects/cccc/
  * Splint (dans les dépots)
  * [[https://wiki.mozilla.org/Static_Analysis|Mozilla's Pork]] 
  * [[https://wiki.mozilla.org/Static_Analysis|Mozilla's Dehydra]] 
  * Les options -Weff++ pour GNU g++ 
  * [[http://smatch.sourceforge.net/|SMATCH]] 
  * [[http://www.spinroot.com/uno/|Uno]]
  * [[http://www.domagoj-babic.com/index.php/ResearchProjects/Calysto|Calysto]]
  * [[http://saturn.stanford.edu/pages/relatedindex.html|Saturn]]
  * [[http://www.dwheeler.com/flawfinder/|Flawfinder]]
  * [[http://code.google.com/p/cppanalyse/|cppanalyse]]
  * [[http://google-styleguide.googlecode.com/svn/trunk/cpplint/|Cpplint (google)]]

* [[https://sourceforge.net/projects/clint/|Clint]] 
  * [[http://mygcc.free.fr/|mygcc]]
  * [[ftp://ftp.sds.lcs.mit.edu/pub/Larch/lclint/|LC-Lint]]

Outil de metrique (pas d'analyse) :

* http://www.chris-lott.org/resources/cmetrics/

==== .net ====
  * [[http://www.mono-project.com/Gendarme|Gendarme (mono)]]

==== PHP ====
  * [[http://www.smashingmagazine.com/2009/01/20/50-extremely-useful-php-tools/|50 Outils PHP Extrêmement utile]]

====Java ====

* [[https://sourceforge.net/projects/findbugs/|findbugs]]
  * [[http://checkstyle.sf.net/|Checkstyle]]
  * [[https://sourceforge.net/projects/pmd/|pmd]]
  * jlint

===== Liens =====

* (en) [[http://en.wikipedia.org/wiki/Category:Static_code_analysis|Les analyseurs de code static(wikipedia)]]
  * (fr) [[http://fr.wikipedia.org/wiki/Analyse_statique_de_programmes|Analyse statique de programmes]]
  * (en) [[http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis|List of tools for static code analysis]]
  * (en) [[http://www.spinroot.com/static/|Static Source Code Analysis Tools for C]]
  * (en) [[http://open-tube.com/10-free-tools-for-static-code-analysis/|10+ free tools for static code analysis]] (free = pas forcément open source)

----

//Contributeurs :  [[:utilisateurs:psychederic|Psychederic]].//

Merci de recopier le code ci-contre pour prouver que vous êtes humain : X N Z T F Merci de laisser ce champ vide :

Résumé

Note : En modifiant cette page, vous acceptez que le contenu soit placé sous les termes de la licence suivante : CC Paternité-Partage des Conditions Initiales à l'Identique 3.0 Unported