news center

“Cyclone”会破坏代码中的计算机错误

“Cyclone”会破坏代码中的计算机错误

作者:赖鲛  时间:2017-08-21 01:03:13  人气:

据该项目背后的美国研究人员称,旨在避免无法预料的编程错误的新计算机语言可以防止许多计算机安全漏洞 Cyclone语言由康奈尔大学的计算机科学家团队和纽约的AT&T实验室创建 Cyclone是编程语言C的重新设计版本,目前用于为不同类型的计算机创建许多应用程序 Cyclone旨在使包含主要错误几乎不可能,这些错误迫使软件供应商发布软件补丁并导致安全漏洞诺丁汉大学的计算机语言专家格雷厄姆赫顿说:“C语言是一种非常强大的语言,但你也可以用这种力量来掌控自己” “他们正试图拥有C的强大功能,但需要进行一些检查才能使其成为一种更安全的语言 - 这绝对是件好事”研究人员表示,C程序员经常会创建会导致严重错误的代码当应用程序完全实现时这种错误很难预测,并且可能导致程序崩溃或执行不正确它也可能打开电脑黑客的大门 Cyclone编译器使用“类型检查引擎”识别最终可能导致此类问题的代码段这不只是寻找特定的代码字符串,而是分析代码的目的并挑出已知具有潜在危险的冲突缓冲区溢出错误是此类问题的一个特别常见的示例这些涉及错误使用内存,并允许某人访问应受限制的程序部分康奈尔大学的研究员Greg Morrisett说:“我们的想法是从更高层次的语言中获取良好的安全理念并在较低层次上实施” “我们通常会放入一个C应用程序,Cyclone编译器会发现各种类型错误”Cyclone编译器将重写代码或建议修复以避免潜在的错误即使仍然出现错误,编译的系统也会导致程序安全停止,而不是崩溃该语言以与C非常相似的方式编写,这使得可以用最少的努力重写已经在C中的程序到目前为止,研究人员使用该语言创建了一个简单的Web服务器,他们说,这些服务器应该免受常见错误的影响 Morrisett表示,关键的难点在于扩展到使用Cyclone编写的更大系统他说,最大的问题是在保留最大功能的同时避免潜在的错误 “我们的最终目标是拥有与Cyclone内置的Linux操作系统一样的巨大功能,”Morrisett说星期五,