Invention Grant
US07802232B2 Software robustness through search for robust runtime implementations
有权
通过搜索强大的运行时实现来实现软件的鲁棒性
- Patent Title: Software robustness through search for robust runtime implementations
- Patent Title (中): 通过搜索强大的运行时实现来实现软件的鲁棒性
-
Application No.: US11396040Application Date: 2006-03-31
-
Publication No.: US07802232B2Publication Date: 2010-09-21
- Inventor: Benjamin G. Zorn , Emery D. Berger
- Applicant: Benjamin G. Zorn , Emery D. Berger
- Applicant Address: US WA Redmond
- Assignee: Microsoft Corporation
- Current Assignee: Microsoft Corporation
- Current Assignee Address: US WA Redmond
- Agency: Klarquist Sparkman, LLP
- Main IPC: G06F9/44
- IPC: G06F9/44

Abstract:
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.
Public/Granted literature
- US20070234297A1 Software robustness through search for robust runtime implementations Public/Granted day:2007-10-04
Information query