[Lustre-discuss] Finding bugs in Lustre with Coccinelle

[Isaac Huang]

On Sun, Jan 08, 2012 at 09:43:00AM +0000, Nikitas Angelinas wrote:
> Hi Isaac,
> 
> Funny, I was planning to have a look at this, this weekend if time
> permitted. I was interested in finding out how noticeable the issue of
> false positives may be in Coccinelle, but that shouldn't be a big
> problem as one will go through the generated patches manually anyway.

It did ring a couple of false alarms, which I removed from the
attached patch. But I believe they could all be avoided by improving
the simplistic Coccinelle script.

- Isaac