Mozilla的一名开发者批评这种分析方法,称这无助于解决安全漏洞。 Klocwork组织的Adam Harrsion通过使用K7分析软件,对Firefox的多个版本进行了安全测试,其中包括最新的1.5.0.6版本,结果发现了约611个缺限和71 个安全漏洞。
当内存被分配或是再次分析后,这大量的漏洞就会导致代码检测无效。内存管理引起的安全漏洞居第二位,达到了141个漏洞。无法检测代码执行路径也经常会引起潜在的问题发生。
目前,Firefox开发者已收到了这一安全测试结果。Harrsion称:"只有深厚的专业知识和了解Firefox的背景的部分人士才能真正理解这些安全漏洞的危害。"
由于微软或是opera都未提供版权代码,进行相同浏览器的比较测试,因此无法对Firefox进行比较分析。Mozilla项目的一名前开发者Alec Fleet称,使用代码分析软件有好处,但Klocwork公司所做的结论不够完全并有误导可能性。但Harrsion辩护称,尽管分析是自动进行的,但这种软件较传统的分析软件更为复杂。