Linked by Thom Holwerda on Tue 19th Jul 2005 19:23 UTC, submitted by Just_A_User
FreeBSD On Tuesday, code-analysis software maker Coverity announced that its automated bug finding tool had analyzed the community-built operating system FreeBSD and flagged 306 potential software flaws, or about one issue for every 4,000 lines of code. The low number of flaws found by the system underscores that FreeBSD's manual auditing by project members has reduced the vulnerabilities in the operating system, said Seth Hallem, CEO of Coverity.
Permalink for comment 6677
To read all comments associated with this story, please click here.
open-source static analysis tools
by Anonymous on Wed 20th Jul 2005 08:37 UTC
Member since:

the development of world-class static analysis tools has been helped enormously by open source projects.

You mentioned splint and lint, could you point to any other open-source ones? Preferably those that check something else than merely C ;)

Reply Score: 0