[Cocci] spatch source repo?

[Jerome Benoit]

Le Sun, 26 Sep 2010 00:48:38 +0200, 
Jesper Louis Andersen a écrit :

> However, I do not know the overhead in
> maintaining and applying "foreign" patches for them.

There's probably some overhead. But it should really be put in balance
with the potential benefits. 

Cocci is a wonderful C code analyser, well thought for semantics
analysis, well thought for easy understanding to people used to
pacthes. Do not forget that is represent the missing gap between
pure static code analysis and pure semantic programming. I do not know
another FOSS tools doing that. Given that, I fail to see what will be
wrong to give more public exposure to the development. 

Unfortunately, I have to much on my plate to setup a SCM and
automatically synchronize each tarball release with it to
demonstrate to the cocci team that the benefits are greater
than the overhead ... but it's up to someone here with a plate
less filled than me to do it :)

Regards,       

-- 
Jérôme Benoit aka fraggle
La Météo du Net - http://grenouille.com
OpenPGP Key ID : 9FE9161D
Key fingerprint : 9CA4 0249 AF57 A35B 34B3 AC15 FAA0 CB50 9FE9 161D
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: not available
Url : http://lists.diku.dk/pipermail/cocci/attachments/20100927/e4c248f5/attachment.pgp