BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

Klocwork Insight引领源码分析进入桌面时代

| 作者 Scott Delap 关注 0 他的粉丝 ,译者 张凯峰 关注 1 他的粉丝 发布于 2008年7月21日. 估计阅读时间: 7 分钟 | GMTC大前端的下一站,PWA、Web框架、Node等最新最热的大前端话题邀你一起共同探讨。
今年年初Klocwork发布了一款桌面产品——Klocwork Insight, 这样每个开发人员都可以应用它的自动源码分析的特性。Insight分别有基于C++和Java的两个版本。目前行业现状是,大家都习惯于把源码分析放在 系统构建阶段的签入步骤之后进行。如今Insight把这一过程提前到构建和开发周期中的实现环节。从Java的角度来看,Insight可以以多种方式进行集成:
……Insight支持包括1.6在内的所有Java版本,而且不仅如此,它还增强了对各种流行的Java框架的支持,如Google Web Toolkit、AWT、Hibernate、JavaMail、J2EE和J2ME。它还支持Eclipse、IBM Rational Application Developer、Intellij IDEA、and JBuilder 2007 IDEs和ANT及Maven构建系统……

之前,Klocwork由于宣称发现开源项目存在大量缺陷成为新闻焦点,而这些缺限即使是早先国土安全部的研究也没有发现。

InfoQ最近与Klocwork的首席技术官(CTO)Gwyn Fisher就其产品进行了讨论。讨论的第一个主题是如何决定重点分析条目:

我们大量的研究工作都是以客户代码中实际发生的错误为基础进行的。开发缺限自动检测解决方案的现实情况是:你必须在“代码正确却被认定有错(误报)”和“代码错误却未被识别(漏报)”这两种情况之间达到一种动态平衡,用户使用产品的真实体验为我们指明了这种平衡点所在和努力方 向。最终我们是侧重于误报还是漏报则要根据使用报告(我们应用3D可视化技术定期对其进行极为细致地研究和分析)中体现出的形式而定。
Fisher补充说:要指出哪一类分析模块对于开发人员最困难不是一件容易的事。不过,缓冲区溢出是比较引人注意的一种类型,仅仅提供上溢/下溢可能发生的场景数目,以及可以区分真正的溢出和正常运行的程序的微妙之处,就能给出问题代码库的主要语义了。Fisher总结说,开发人员可能非常“确信”存储在配置数据或者从输入设备读入的值不会超出给定范围,因此由这些数据引起理论上的溢出就比较困难,即使它们实际上存在缺陷。

InfoQ提出的第二个问题是对于普通开发人员,Klocwork Insight的联机桌面分析特性会带来何种收益:

[GF]试着这样做:不起作用的代码不要签入,这很简单。联机桌面允许开发人员在签入之前进行本地代码分析,并且可以保证具有和集成构建分析相同的准确性和上下文环境。

通过一个例子我们可以更清楚地描述这个问题。假定有个开发人员,我们估且称他为Jim,他工作在一种典型的消费者模式 下,就是说他的工作依赖于同一办公间里另外一位开发人员。当通过分析认定Jim的程序正确时,一方面我们要告诉他代码写得不错,另外一方面我们要了解他调 用的代码怎样工作,这样我们就可以确认他的代码与他调用的代码之间的交互关系也是正确的。

没有分布式上下文环境,分析引擎不能断定null对象传给foo()方法是否会引发问题;也不能分辨foo()方法是否能返回一个可用的对象。但是有了这个上下文环境,所有这些灰色区域就可用实际的分析取而代之。引擎可以知道foo()的内部机制,即使你的本地根本就没有这段程序,如果你打算做什么愚蠢的事情,那么它会像在集成构建分析过程中做到的那样来提醒你。

分析精确性中的这种等效性在几个方面获得了回报,其中生产率是最为明显的。但是如果你考虑公司实现代码分析面对的文化阻碍,那它就更 具吸引力了。典型的,一般公司都会将代码分析作为审计工具整合进集成构建过程,重视报告并将之视为交互点。这要求必须建立如下工作流程之一:强制要求开发人员暂停手头工作,访问报告程序,以查找个人所犯错误;或者由上级通过e-mail给每个人发送错误通知。

不过,还是把进行准确、快速和有效地分析代码的权力放到开发人员手中吧,摒弃那种“问责怪圈”,集中精力让开发者从起步时就创建出高品质、高安全性的代码。

就此InfoQ希望Fisher先生能比较一下Klocwork和流行开源工具FindBugs:

FindBugs是一款很优秀的工具,我非常欣赏Bill Pugh为此所做的出色的工作以及无偿分享其产品。大多数人第一次接触的Java代码分析工具都会是他的产品,总的来说对市场是有利的。我们同 FindBugs的不同之处在于分析的深度,可发现缺限的数量和种类。特别是,FindBugs偏重于一种内部程序缺限,就是通过在一个特定方法内跟踪控制流和数据流来分析错误(实际上如果开发者能够注释他们的代码以详述预期的行为,他们就可以扩展这种分析,不过这就有点欺骗的意思了;P)。Klocwork的分析是在程序间进行的,这意味着我们可以发现跨类、跨包甚至跨模块边界方法调用的缺限。这种“程序整体”分析就是商业静态分析所能做的事情。

最后,InfoQ请Fisher先生比较一下在编写Klocwork C++分析工具和更新的Java分析工具时的体会。他解释说,在Klocwork的观点来看,写一个好的代码分析工具的基础在于编译器。对于Java,他们起初很乐观的打算分析调试模式下的字节代码,因此不需要再写一个编译器。然而这种方法后来被证明不是那么有效。除了编译器外,编写Java版本的最为重要的投资是关于检验程序库,因为要确保为市场提供一个与现存产品(C++版本)同样完美的引擎。目前,Klocwork支持的每种语言所含有的检验程序几乎一样多(大概每种语言有175个)。

查看英文原文:Klocwork Insight Brings Code Analysis to the Desktop

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

工欲善其事,必先利其器 by Wu Junyin

因为对JAVA领域不熟悉,所以对FindBugs不太了解,不知道是否在.NET和C++领域有啥类似的工具没有?

Re: 工欲善其事,必先利其器 by Wang Terrance

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

2 讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT