Invention Grant
- Patent Title: Technique for finding relaxed memory model vulnerabilities
- Patent Title (中): 找到轻松的内存模型漏洞的技术
-
Application No.: US12147079Application Date: 2008-06-26
-
Publication No.: US08392891B2Publication Date: 2013-03-05
- Inventor: Sebastian Burckhardt , Madanlal Musuvathi
- Applicant: Sebastian Burckhardt , Madanlal Musuvathi
- Applicant Address: US WA Redmond
- Assignee: Microsoft Corporation
- Current Assignee: Microsoft Corporation
- Current Assignee Address: US WA Redmond
- Agency: Lee & Hayes, PLLC
- Main IPC: G06F9/46
- IPC: G06F9/46
Abstract:
A system and method capable of finding relaxed memory-model vulnerabilities in a computer program caused by running on a machine having a relaxed memory model. A relaxed memory model vulnerability in a computer program includes the presence of program executions that are not sequentially consistent. In one embodiment, non-sequentially consistent executions are detected by exploring sequentially consistent executions.
Public/Granted literature
- US20090328045A1 TECHNIQUE FOR FINDING RELAXED MEMORY MODEL VULNERABILITIES Public/Granted day:2009-12-31
Information query
