coverty' static source code analysis & MIT Krb5 Codebase

ram_no_spam_marti ram.marti at
Fri Aug 25 14:17:55 EDT 2006

Has any one looked into working with Coverty ( into 
using their static soucre code analysis for MIT Krb5 Implementation.

 From their web site , 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..

More information about the Kerberos mailing list