Thanks -- I filed https://svn.open-mpi.org/trac/ompi/ticket/2401 about this.
On May 2, 2010, at 11:09 PM, Christopher Samuel wrote:
> Hi there,
>
> I've been playing around with Coccinelle, the semantic
> patching system (packaged in Ubuntu 10.04) and using it
> to try and detect things like unc
Hi there,
I've been playing around with Coccinelle, the semantic
patching system (packaged in Ubuntu 10.04) and using it
to try and detect things like unchecked malloc(). It's
not perfect, for instance it flags up calls to assert()
on the result of the malloc as bad, even though they're
not, but
