On Mon, 8 Feb 2010, Rémi Duraffort wrote:
> Hello,
> my name is Rémi Duraffort (aka ivoire). I'm actually a developer of VLC
> media player.
> I was at the FOSDEM this week-end and heard about the coccinelle project
> and the fact that you runned coccinelle on VLC and found some bugs.
>
> I'm really interested by such a list of bugs (and I am not able for the
> moment to run nicelly coccinelle on VLC source code).
Could you look around here? This is mostly the work of Nicolas Palix
([email protected]). We are both rather busy with travelling today and
tomorrow, but if you haven't found the information you are looking for, we
can help you on Wednesday, so feel free to write back.
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.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
