Ben je dirais qu'il y a certainement deja quelques outils (generiques) qui existent deja, genre valgrind et kcachegrind.
Il me semble d'ailleurs que Linus en (les problemes sus-evoques) est conscient, et qu'il est justement en train de bosser sur un outil de verification de code (il me semble cependant que c'est assez Linux-oriente).
[^] # Re: Compétences des Kernels Hackers.
Posté par Sebastien . En réponse au journal Linux c'est plein de trous. Évalué à 2.
Il me semble d'ailleurs que Linus en (les problemes sus-evoques) est conscient, et qu'il est justement en train de bosser sur un outil de verification de code (il me semble cependant que c'est assez Linux-oriente).