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). Best regards -- Rémi Duraffort | ivoire VideoLAN treasurer and VLC developer _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
