公开(公告)号：US07802232B2

公开(公告)日：2010-09-21

申请号：US11396040

申请日：2006-03-31

申请人： Benjamin G. Zorn ,  Emery D. Berger

发明人： Benjamin G. Zorn ,  Emery D. Berger

IPC分类号： G06F9/44

CPC分类号： G06F11/3612 ,  G06F12/023

摘要： Software program robustness is improved by successfully masking memory safety errors in the software program. For instance, at least some memory safety errors in a software program can be masked by using a runtime memory manager that approximates the semantics of an infinite heap memory manager. In one example, an approximation of an infinite heap memory manager is implemented by configuring a parameterized memory manager with parameter values such as padding to be added to each allocation on the heap and the amount of deferment before executing a call to free memory on the heap. Ideal configurations balance expected robustness with costs such as added memory and processing time. Ideal configurations can be identified through systematic search of a coordinate space of selected parameters. Ideal configurations can also be identified by statistically correlating success/failure data collected from execution of deployed instances of the software program to the configuration of the memory managers used therein.

摘要翻译： 通过成功地屏蔽软件程序中的内存安全错误，软件程序的鲁棒性得到改善。 例如，可以通过使用近似无限堆存储器管理器的语义的运行时存储器管理器来掩蔽软件程序中的至少一些存储器安全错误。 在一个示例中，无限堆存储器管理器的近似通过配置参数化的存储器管理器来实现，该参数值具有诸如填充的参数值以被添加到堆上的每个分配，并且在执行对堆之间的空闲存储器的调用之前的延迟量 。 理想的配置平衡预期的鲁棒性与成本，如增加的内存和处理时间。 可以通过系统搜索所选参数的坐标空间来识别理想配置。 还可以通过将从软件程序的部署实例的执行收集的成功/失败数据与其中使用的存储器管理器的配置统一地相关联来识别理想配置。