coverty' static source code analysis & MIT Krb5 Codebase

[ram_no_spam_marti]

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..