coverty' static source code analysis & MIT Krb5 Codebase

From: ram_no_spam_marti <ram.marti@xxxxxxxxxx>
Date: Fri, 25 Aug 2006 11:17:55 -0700

Hi,
Has any one looked into working with Coverty (www.coverty.com) into using their static soucre code analysis for MIT Krb5 Implementation.

From their web site http://scan.coverity.com/ , it appears that they have run their tools on several Opensource projects and working with the developers to address the bugs/issues found(under a contract with the Department of Homeland Security).

This looks like something that might be beneficial for the MIT krb5 source code.

= Ram Marti

P.S. I have not used their tools before. I do not work for nor affiliated with Coverty in any way..

.

Follow-Ups:
- Re: coverty' static source code analysis & MIT Krb5 Codebase
  - From: ram_no_spam_marti

Prev by Date: Re: sshd, Tiger and KRB5CCNAME
Next by Date: Re: coverty' static source code analysis & MIT Krb5 Codebase
Previous by thread: sshd, Tiger and KRB5CCNAME
Next by thread: Re: coverty' static source code analysis & MIT Krb5 Codebase
Index(es):
- Date
- Thread