| US 7,526,755 B2 | ||
| Plug-in pre- and postconditions for static program analysis | ||
| Robert Anthony DeLine, Seattle, Wash. (US); and Manuel Alfred Fahndrich, Seattle, Wash. (US) | ||
| Assigned to Microsoft Corporation, Redmond, Wash. (US) | ||
| Filed on Oct. 08, 2003, as Appl. No. 10/681,759. | ||
| Prior Publication US 2005/0081192 A1, Apr. 14, 2005 | ||
| This patent is subject to a terminal disclaimer. | ||
| Int. Cl. G06F 9/44 (2006.01) | ||
| U.S. Cl. 717—126 [717/116; 717/131] | 23 Claims |
| 1. A computer implemented executable code check system comprising:
an input component that receives an object file and a specification associated with the object file, the specification comprising
information associated with a plug-in condition for a method, the plug-in condition parses contents of a query string and
makes the content available to a checker as part of a program's approximate execution state, the plug-in condition includes
a rule for using an interface, system resource management, order of method calls and formatting of string parameters; and,
the checker that employs the specification to facilitate static checking of the object file, the checker passing a user injected
custom state to the plug-in condition to check a fault condition and providing information if the fault condition is determined,
wherein memory operatively coupled to a processor retains at least a portion of the input component or the checker.
|