自我修复软件ClearView

 

        由麻省理工Martin Rinard教授带领的研究团队研究出一种能在几分钟内寻找并修复确定类型bug的软件ClearView。在最近的ACM操作系统规则 (Operating System Principles)讨论会上, Rinard教授为大家展示了这一软件，并阐述了他们的目标：创造一个“永久的，刀枪不入的程序”。

        ClearView可以在没有人为协助的情况下运作，并且不需要访问一个程序隐含的源代码。通过观察一个程序的普通行为并创造一组规则，ClearView可以探测确定的错误，包括由恶意程序引起的故障。ClearView探测任何能破坏规则的异常，然后提供若干潜在碎片迫使被检测软件遵守这些规则。这些碎片绕过源代码，直接应用于二进制数据。

        ClearView分析可能的数个解决方案并判断哪几个最能起作用，安装最优者并测试他们的有效性。如果额外的规则被破坏或者碎片破坏了系统，ClearView会拒绝那些解决方案并寻找其他可行方法。

        研究者们声称这个系统在一群运行有相同软件的机器上特别有效。为测试ClearView，他们将其安装在一组运行Firefox的机器上，让一个独立的小组用10种方法去攻击浏览器。ClearView通过探测异常并在攻击可能变得有效之前终止程序，成功地阻止了所有的攻击。

        原文地址：http://www.technologyreview.com/computing/23821/

        Martin C. Rinard 教授是MIT电子工程与计算机科学系教授，计算机与人工智能实验室（CSAIL）成员。

       个人主页：http://people.csail.mit.edu/rinard/