Mirror of the gdb mailing list
 help / color / mirror / Atom feed
* Coverity static code analysis and gdb
@ 2007-06-28 20:50 msnyder
  2007-06-28 20:58 ` Daniel Jacobowitz
  0 siblings, 1 reply; 2+ messages in thread
From: msnyder @ 2007-06-28 20:50 UTC (permalink / raw)
  To: gdb

Hi all,

I saw a presentation of Coverity's static code analysis tools last
week, and they happened to mention that they have set up a free scan
of open source projects (see http://scan.coverity.com), and that gdb
is included.  I asked for and received access.

Their scan found about 250 possible bugs such as reference thru
potentially-null pointers and allocations without frees.

I expect to be submitting patches for some.  Just a heads-up...

Michael Snyder



^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Coverity static code analysis and gdb
  2007-06-28 20:50 Coverity static code analysis and gdb msnyder
@ 2007-06-28 20:58 ` Daniel Jacobowitz
  0 siblings, 0 replies; 2+ messages in thread
From: Daniel Jacobowitz @ 2007-06-28 20:58 UTC (permalink / raw)
  To: msnyder; +Cc: gdb

On Thu, Jun 28, 2007 at 01:50:39PM -0700, msnyder@sonic.net wrote:
> Hi all,
> 
> I saw a presentation of Coverity's static code analysis tools last
> week, and they happened to mention that they have set up a free scan
> of open source projects (see http://scan.coverity.com), and that gdb
> is included.  I asked for and received access.
> 
> Their scan found about 250 possible bugs such as reference thru
> potentially-null pointers and allocations without frees.
> 
> I expect to be submitting patches for some.  Just a heads-up...

Yay!

I registered for access too (they announced it on the list quite a
while ago), but never managed to fix any of them.  It's been creeping
back up my task list lately.

-- 
Daniel Jacobowitz
CodeSourcery


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2007-06-28 20:58 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-06-28 20:50 Coverity static code analysis and gdb msnyder
2007-06-28 20:58 ` Daniel Jacobowitz

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox