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.. ________________________________________________ Kerberos mailing list [email protected] https://mailman.mit.edu/mailman/listinfo/kerberos
