> Perhaps we can help you run Coccinelle youself as well? You can > download the sources from our web page, but it has also been packaged > for > various Linux versions. If you are using Windows, you could try > installing andlinux: http://www.andlinux.org/. The Python part of > Coccinelle unfortunately does not work in Windows, and that is used by > the > rules that we have applied to VLC. > > You can also try coccicheck on VLC: > http://coccinelle.lip6.fr/distrib/coccicheck-0.2.2.tgz > That contains some rules that were not considered in producing the > above > website. > Coccinelle is packaged on debian so that's ok for me. Thanks for the link to coccicheck that's really easier to check vlc with this Makefile. I'm actually using coccinelle on VLC trunk (1.1-git from git.videolan.org/vlc.git). If you want to use coccinelle on VLC, I think scanning trunk is a good idea. I already have some interesting results (I will commit a fix to vlc source code soon :)). Thanks.
-- Rémi Duraffort | ivoire _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
