[Lustre-discuss] Finding bugs in Lustre with Coccinelle
isaac_huang at xyratex.com
Mon Jan 9 07:11:29 PST 2012
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.
More information about the lustre-discuss