麻省理工学院(MIT)发明漏洞自动修复系统
在上月计算机协会编程语言设计与实现会议上(Association for Computing Machinery's Programming Language Design and Implementation),MIT研究人员展示了一个新的系统,能够通过导入其他更为安全的应用程序功能,自动修复危险的软件漏洞。
漏洞自动修复系统:CodePhage
该系统称为CodePhage,它在自动“借用”其他程序的功能时并不需要获取源代码。因此,被导入程序(即Donor捐献者,后文简称D)的开发语言并不重要。一旦用于修复的代码导入至有漏洞的应用程序(即Recipient接收者,简称R)中,CodePhage可以提供一个更深层的分析,以确保漏洞被修复。
MIT 计算机科学与人工智能实验室(CSAIL)CodePhage开发负责人Stelios Sidiroglou-Douskos表示,
“在开源库中,我们有大量的源代码可供使用,这些数以百万计的项目以及大量规范相似的项目实现。随着时间的推移,你需要完成的就是从这些项目中获取最好的组件来构建CodePhage——这一混合系统。”
开始分析时,CodePhage需要两个样本值输入:一个会造成 R 崩溃,另一个则不会。一个称为DIODE的漏洞定位程序可自动生成引起崩溃(crash-inducing)输入。但用户仅仅认为是打开了一个特定文件而引发的崩溃事故。
系统运行过程
首先,CodePhage为 D 提供了一个不会引起崩溃的“安全”输入。然后跟踪 D 的执行操纵序列并使用符号表达式记录下它们,这里的符号表达式(symbolic expression,简称SE)是一串描述操作系统施加的逻辑约束符号。
在某些情况下,比如可能会检测 D 的输入是否小于某个阈值。如果结果是小于的,CodePhage将添加一个 SE 术语来表示该情况低于阈值。这里并不记录文件的实际大小,仅仅是通过检测施加限制约束。
接下来,CodePhage为 D 提供一个引起崩溃的输入。它再一次构建了一个SE来代表 D 执行的操作程序。但是当新的SE从旧的当中分离出时,CodePhage会中断其过程。这一偏差(divergence)就是了安全输入会遇到的约束而引起崩溃的输入不会遇见。因此,这可能是R安全检测所缺失的部分。
然后CodePhage分析 R 程序以寻找大多数 SE 所限制输入的位置,但不是全部。R能以不同的顺序执行不同的操作,而非完全按照施者所做的,同时可以储存不同形式数据。在这个过程之后,SE 描述了数据的状态,而非过程本身。
在每个标识的位置,CodePhage能够不受大部分 SE 的约束——同样适用 R。从第一个位置开始,CodePhage将仍然留在 R 程序语言中的少量约束转化成新代码,并将其插入源代码中。然后再次运行引起崩溃输入。
如果程序可以运行,则新代码解决了这个问题。如果没有,CodePhage会移动到R的下一个候选位置。如果项目依旧崩溃,即使在CodePhage已经尝试修复了所有候选位置之后,它仍会重返 D 程序,并继续建立 SE,直至找到下一个偏差。
<上述内容专业性很强,小编翻译的比较生涩……具体请查看原文>
自动化的未来
研究人员在发现漏洞的DIODE七个常见开源项目中测试了CodePhage,每个从 D 导入了两个到四个数量不等的漏洞修复。在所有情况下,CodePhage均能够修复漏洞代码,并且每个修复只需要二到十分钟时间。
安全检测占据了现代商业软件80%甚至更多的代码。研究者希望未来CodePhage的版本中可以实现自动检查并插入系统,从而大大减少软件开发者花费在繁重工作中的时间,解放程序员。
开发者之语
MIT计算机科学与工程教授Martin Rinard说,
“未来的愿景是,你再也不需要写一段别人曾写过的代码。这个系统能够发现代码,并无论是何种代码都能自动把它们连在一起,让你的程序运行起来。
借用另一个具有相似功能程序代码的技巧,并且用来修复一个基本上已经坏掉的程序,这是非常酷的过程。说实话,我很惊讶它竟然能够运行。”
Berger解释说,
“施者程序并不是相同的人写的。他们有不同的编码标准;对变量的命名也不同;使用完全不同的变量;这些变量可以是本地的;或者是更高的堆栈。CodePhage能够识别这些链接,并判断‘这些变量与这些变量有关联’。与器官捐赠相似,通过遗传密码的转移让个体更完美。它的工作原理及最终成果真的很令人惊讶,这非常酷。”
作者:小太阳花
来源:51CTO
麻省理工学院(MIT)发明漏洞自动修复系统相关推荐
- 麻省理工学院(MIT)研究生学习指导—— 怎样做研究生
麻省理工学院(MIT)研究生学习指导 怎样做研究生 本文的主旨是解释如何做研究.我们提供的这些建议,对于研究本身(阅读.写作和程序设计).理解研究过程以及开始研究(方法论.选题.选导师和情感因素),都 ...
- 麻省理工学院(MIT)研究生学习指导: 怎样做研究生
转载自http://www.onpsummer.com/Event-index-contentid-263.htm 麻省理工学院(MIT)研究生学习指导 怎样做研究生 本文的主旨是解释如何做研究.我们 ...
- 石家庄外国语学校计算机,热烈祝贺石家庄外国语学校吴雨霏同学被美国麻省理工学院MIT录取!全国唯一的女生!...
原标题:热烈祝贺石家庄外国语学校吴雨霏同学被美国麻省理工学院MIT录取!全国唯一的女生! 热烈祝贺 石家庄外国语学校 十二年级(10)班吴雨霏同学 被美国麻省理工学院MIT录取 吴雨霏 初中.高中在石 ...
- 麻省理工学院(MIT)研究生学习指导
怎样做研究生 本文的主旨是解释如何做研究.我们提供的这些建议,对于研究本身(阅读.写作和程序设计).理解研究过程以及开始研究(方法论.选题.选导师和情感因素),都是极具价值的. 简介 这是什么?并没有 ...
- 怎样做研究生-麻省理工学院(MIT)研究生学习指导-转
本文的主旨是解释如何做研究.我们提供的这些建议,对于研究本身(阅读.写作和程序设计).理解研究过程以及开始研究(方法论.选题.选导师和情感因素),都是极具价值的. 1. 简介 这是什么? 并没有什么神 ...
- [转]麻省理工学院(MIT)研究生学习指导[上]
本文的主旨是解释如何做研究.我们提供的这些建议,对于研究本身(阅读.写作和程序设计).理解研究过程以及开始研究(方法论.选题.选导师和情感因素),都是极具价值的. 这是什么? 并没有什么神丹妙药可以保 ...
- 麻省理工学院发起人工智能项目MIT IQ
麻省理工学院(MIT)启动了一项雄心勃勃的项目--MIT IQ(Intelligence Quest)项目,旨在了解人类智能,并利用研究成果开发智能机器. 麻省理工学院(MIT)宣布启动麻省理工学院智 ...
- 麻省理工学院、南加大等美国名校的网络安全:勉强及格
大学--特别是一些规模庞大.声名显赫的机构--常常面临更多网络威胁和攻击活动. 名校,不一定安全 九月秋风送爽,又吹来一个开学季,期末考试的烦恼暂时被小鲜肉们抛之脑后.然而,有几所名校却因互联网威胁情 ...
- MIT开发出新界面系统 操作员可用思维控制机器人
来源:VentureBeat.网易科技 摘要:麻省理工学院(MIT)下属计算机科学与人工智能实验室(CSAIL)的研究人员开发了一种新界面,它可以读取人类操作人员的脑电波,让他们通过思维命令机器执行任 ...
- 麻省理工学院给研究生的文献阅读方法,简单高效!
很多研究人员花一半的时间阅读文献,可以很快地从别人的工作中学到很多东西.阅读文献,始于今日.一旦你开始写作论文,就没有多少时间了,那时的阅读主要集中于论文主题相关的文献.在研究生的头两年,大部分的时间 ...
最新文章
- HUD 5687(字典树)
- 使用 Eclipse 调试 Java 程序的 10 个技巧
- Centos7.6安装redis
- hibernate debug学习总结
- 只需几分钟跟小猫学前端(内含视频教程):nodejs基础之用express、ejs、mongdb建设简单的网站...
- Python做数据分析时中文乱码?matplotlib出现中文乱码3行代码解决
- HBase数据存储格式
- 4. Spring 如何通过 XML 文件配置Bean,以及如何获取Bean
- 计算机应用技术试卷在线老师,《计算机应用技术》试卷B.doc
- 深度学习与神经网络概述
- c语言空白字符的aci,c语言的保留字符有32个是那些啊???代表什么于是啊??...
- Trello使用向导
- bou计算机术语,2012年计算机一级考试模拟试题及参考答案(27)
- 有长度,有角度,有点积,有人性
- 转-思维要裂变要敢闯想
- OpenCV-Python | 图像的基本操作 十
- 人工智能学习前的简单了解
- 【老九学堂】【C语言进阶】内置函数补充
- GBase8s数据库REFERENCES 子句
- hcsr04超声波模块在51单片机中的应用
热门文章
- 基本初等函数求导公式
- 如何装计算机网络驱动,网卡驱动怎么安装,手把手教你电脑网卡驱动怎么安装...
- 有赞 BI 平台设计及实现
- 安徽理工大学计算机设计大赛,安徽理工大学学子在2020年中国大学生计算机设计大赛中喜获佳绩...
- Openssl win8 用法
- S3C2440裸机开发----点亮LED
- python爬虫时爬虫爬数据时出现“访问本页面,请开启JavaScript并刷新该页”
- failed to get reply to handshake packet
- 导数的零点定理与达布定理
- 利器!推荐一个记忆方法:间隔记忆法(利用艾宾浩斯遗忘曲线制定)