Sponsored link
Vyatta –
Linux & Open Source
Alternative to Cisco –
Advanced Routing,
Firewall, VPN, QoS..
Free Download ->
| |||||||||||
Compared to commercial?Compared to commercial?Posted Mar 7, 2006 19:44 UTC (Tue) by kleptog (subscriber, #1183)In reply to: Compared to commercial? by daniels Parent article: Coverity releases first defect survey results
Obviously the checker itself needs to be taught how to deal with various aspects of the programs it checks. For example, for PostgreSQL it doesn't appear to recognise that elog(ERROR, ...) never returns, leading to many spurious warnings about using variables inappropriately.
It's still a really nice technology and could help track-down some of the more obscure bugs.
(Log in to post comments)
Compared to commercial? Posted Mar 7, 2006 20:12 UTC (Tue) by daniels (subscriber, #16193) [Link] That's just a matter of training, though: it at least appeared to recognise all the cases like that for X. The only false-negative I saw like that was some really hideous error-handling code involving longjmp.
|
|||||||||||