On Mon, 8 Feb 2010, Julia Lawall wrote:
> 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?
I'm sorry, but I think something got lost in this email... The URL to
look at is:
http://www.diku.dk/hjemmesider/ansatte/npalix/aosd10/
julia
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)
