发明授权
- 专利标题: Generating type-safe wrappers for dynamic detouring
- 专利标题(中): 生成用于动态迂回的类型安全的包装器
-
申请号: US12773911申请日: 2010-05-05
-
公开(公告)号: US08726239B2公开(公告)日: 2014-05-13
- 发明人: Jonathan Paul de Halleux , Nikolai Tillmann
- 申请人: Jonathan Paul de Halleux , Nikolai Tillmann
- 申请人地址: US WA Redmond
- 专利权人: Microsoft Corporation
- 当前专利权人: Microsoft Corporation
- 当前专利权人地址: US WA Redmond
- 代理商 Dan Choi; Carole Boelitz; Micky Minhas
- 主分类号: G06F9/44
- IPC分类号: G06F9/44
摘要:
An isolation system is described for converting original product code into corresponding modified code. The isolation system operates by identifying a subset of original methods to be converted. For each such original method, the isolation system generates a modified part having at least one property with a type-safe delegate type which matches a signature of the original method. Test code, which tests the product code, can then associate a delegate instance to the thus-defined property of the original method. This prompts an execution system to dynamically execute detour code associated with the delegate instance, rather than an instrumentation of the original method, thus avoiding dependency on potentially non-deterministic functionality which would be otherwise invoked by an instrumentation of the original method.
公开/授权文献
- US20110276943A1 GENERATING TYPE-SAFE WRAPPERS FOR DYNAMIC DETOURING 公开/授权日:2011-11-10
信息查询