找回密码
 骑士注册

QQ登录

微博登录

搜索
❏ 站外平台:

Linux中国开源社区 观点 查看内容

事后诸葛亮:如何写出没有bug的软件

2014-03-03 14:02    评论: 5 收藏: 1    

网上对苹果iOS7操作系统中最新暴露出的一个严重安全漏洞的讨论读起来十分有趣。如果你还没有读过Alex Langley对此的分析,那现应该读一下,写的非常好。

附带说一下,是一个TLS v1.2 SSL连接问题上的bug,签名认证没有被检查,使伪造签名成为可能。原因是代码永久的直接跳到了方法的结尾处,没有实际检查哈希结果是否正确。

问题程序

是什么导致了这样一个弱者的bug?我四处看了一下,下面是网友们总结出的几个原因:

  • 用C语言很难写出正确无误的程序
  • 苹果公司的程序员不用心
  • 编码风格中允许忽略大括号
  • 苹果公司里没有正规的代码审查
  • 使用了goto语句
  • 使用了自动代码合并
  • 没有开启编译器对死代码的警告
  • 没有使用静态分析工具
  • 没有好好测试

所有的这些原因看起来都像是在这个bug的产生中扮演了一定的角色。但有一个主导原因吗?

对代码的差异对比给不了多少有用的信息,在631行上的这个bug看起来怎么产生的都有可能。也许是一次代码合并错误,也许是愚蠢的拷贝/粘贴造成。

事实上,你很难,或许不可能找到一个单一的为此bug负责的原因,那我们能有什么良方?很多人说是指代码上没有用花括号包围的原因。例如Zed说:

这就是帕金森瑣碎定理的一个很好的例子:花费大量时间讨论无关紧要的琐事。引起这个bug的根源不是缺少花括号。有没有花括号不会成为这个多余的goto的产生的原因。

为什么我们,程序员们,总是抱怨编码风格问题,但却不重视代码审查对程序正确性的决定作用呢?虽然不好的编码风格会隐藏程序bug,但并不是编码风格产生的问题。我们太重视代码布局视觉上的问题,却故意逃避正确性问题。如果更注重正确性,绝对不可能让这种关键代码中未经测试的情况下发布。

好的编码风格并不能防止大部分的bug的产生——尽管有点作用。简单的编程语言能够减少bug的产生。代码审查的作用更大。静态分析能让你避免大量的bug。

认真的测试可以捕捉并防止很多bug的产生。这就是为什么对于关键的软件,比如cryptography
library
,有100%的测试覆盖率。这种一眼就能看出来的bug绝对不会在这种软件里出现。

未经测试的加密代码是用来解密的代码。

所以说,抱怨花括号是愚蠢的做法。相反,在这种情况下花括号会让问题更难发现,花括号不是问题的根源,也不是问题的解决方案。大家找错了方向。

[英文原文:Wrong Solutions ]
via: http://www.vaikan.com/wrong-solutions/ 

最新评论

我也要发表评论

wiiiky 2014-03-06 19:44 回复
就是一个失误而已,说什么C语言很难写出正确的程序,难道C++,python就更容易?还有什么花括号,那这条语句在花括号外面怎么办?还有什么测试不测试的,感情测试了就不会有问题?
就是一个失误,仅此而已,别上纲上线。
微博评论 2014-03-03 15:33 回复
Jessica198610(微博): 就是就是//@suiyuinfo: 人非圣贤,孰能无过,用心就好。
微博评论 2014-03-03 15:33 回复
suiyuinfo(微博): 人非圣贤,孰能无过,用心就好。
微博评论 2014-03-03 15:33 回复
小孩不笨cyqyong(微博): 第一次听说帕金森瑣碎定理,不过这文章说的挺对的。很多时候我们都在做自己觉得百分之百正确的事情,其实不一定啊
微博评论 2014-03-03 15:33 回复
南瓜袁来是良民(微博): @谁解默兮落疏狂

收藏

返回顶部

分享到微信

打开微信,点击顶部的“╋”,
使用“扫一扫”将网页分享至微信。