🚀 go-pugleaf

Marc Boyer wrote:
> [...]
> un peu de pub. Je sors d'une pr�sentation de l'outil
> coccinelle. C'est un truc qui fait de la d�tection
> de patern suspect dans un code (un kmalloc sans
> le kfree associ� par exemple).
>
> Pour ceux que les avanc�es sur l'analyse de code C
> int�ressent.
>
>     http://www.emn.fr/x-info/coccinelle/

Hum, franchement aujourd'hui, je pense que ce type d'outils a peu de 
perspectives d'avenir, quand on voit les perspectives qu'ouvrent 
Dehydra, Treehydra (diagnostique), et Oink/Pork (r��criture) dans le 
domaine.

https://developer.mozilla.org/en/Dehydra
https://developer.mozilla.org/en/Treehydra
https://developer.mozilla.org/en/Pork
http://www.cubewano.org/oink

Un "super diff/patch" n'a plus trop d'avenir quand il existe par 
ailleurs des outils qui s'appuient sur gcc (un parseur C/C++ ind�pendant 
pour Oink/Pork) pour travailler avec la structure interpr�t�e *exacte* 
du code.

Il y a quelques exemples d'utilisation ici:
http://hg.mozilla.org/mozilla-central/file/fdd5e4e34241/xpcom/analysis/

L'un des gros trucs qui est fait actuellement avec ces outils dans le 
code Mozilla est de s'assurer qu'une fonction soit retourne un code 
d'erreur OK et fixe la valeur de tous les arguments, ou bien renvoie un 
code d'erreur et ne touche � aucun argument en sortie.

Voir � ce sujet la description de la technique ESP pour analyser le flux 
d'une fonction en temps polynomial:
http://www.cs.cornell.edu/courses/cs711/2005fa/papers/dls-pldi02.pdf
https://developer.mozilla.org/Treehydra_Manual#section_8

Je pense que ces outils ne peuvent que prendre beaucoup d'importance, 
car le fait qu'ils donnent des r�sultats exacts (au besoin, en 
s'appuyant sur des techniques de r�cursivit�) change compl�tement la 
perspective.

Suivi redirig� vers fr.comp.developpement