什么是旧的再次与麻省理工学院的最新臭虫查找器

调试代码是软件开发人员的多年生头痛，但科学家们宣布了一种新技术，可以使流程显着更容易。

该方法在麻省理工学院的计算机科学和人工智能实验室和马里兰州大学开发，该方法基本上弥合了传统的象征性执行技术与今天的现代软件之间的差距，使得可以更有效地调试代码。

符号执行是一种软件分析技术，可用于通过追踪在执行期间可能需要的路径自动定位和修复错误。但是，该技术不会与使用当今编程框架编写的应用程序良好工作。

“是因为现代应用程序通常导入来自这些框架的函数，其中包括繁忙的常用代码库。分析应用程序本身可能不是一个问题，但如果分析器也必须评估每个可能的指令，则此过程变得过于耗时，例如，向窗口添加一个按钮，包括屏幕上的按钮的位置，当用户上下滚动时，它的运动，它在按下时变化的方式，依此类推。

“四十年前，如果你想写一个程序，你进去了，你写了代码，基本上你写的所有代码是执行的代码，”MIT副教授的Armando Solar-Lezama表示，他的团体领导了这项工作。“今天，你去了这些巨大的框架和这些巨大的功能，然后你一起粘合在一起，你写了一些代码来让他们互相互动。如果你不明白那大框架正在做什么，你甚至不知道你的程序在哪里开始执行。“

为了解决问题，计算机科学家们经常经过耗时和错误的过程，可以创建用于与新程序的交互的导入库的模型创建模型，但不需要将其代码按行进行评估。在新的研究中，上周在国际软件工程会议上呈现，研究人员创建了一个自动构建这些模型的系统。

被称为Pasket，该系统产生了有希望的结果。

“蓬喀塞斯的可扩展性令人印象深刻 - 在几分钟内，它综合了近2,700行的代码，”滨江加州大学计算机科学与工程教授Rajiv Gupta说。“而且，生成的模型与手动创建的模型比较。”