tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Using coccinelle for (quick?) syntax fixing



On Tue, Aug 10, 2010 at 07:40:38PM +0200, Jean-Yves Migeon wrote:
> 
> On Tue, 10 Aug 2010 12:11:32 -0500, Eric Haszlakiewicz 
> <erh%nimenees.com@localhost>
> wrote:
> > On Mon, Aug 09, 2010 at 10:49:05PM +0200, Jean-Yves Migeon wrote:
> >> Note also that I applied the spatch against sys/; the rest of src could
> >> get a scan. But I would prefer to look for other static analyzers
> first,
> >> perhaps there are more suitable (and faster) ones.
> > 
> > If you're talking about static analyzers, wouldn't coverity count? 
> 
> Yes
> 
> $ cd /usr/pkgsrc/*/coverity/                                              
> ksh: cd: /usr/pkgsrc/*/coverity - No such file or directory
> 
> :(

It wouldn't do you any good even if it was there: if you're going to run
it yourself you need to buy a license.  Even if you could run it yourself
you wouldn't have the benefit of using the existing, pre-classified list
of defects on coverity's site.

eric


Home | Main Index | Thread Index | Old Index