发明名称 |
Technique for finding relaxed memory model vulnerabilities |
摘要 |
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. |
申请公布号 |
US8392891(B2) |
申请公布日期 |
2013.03.05 |
申请号 |
US20080147079 |
申请日期 |
2008.06.26 |
申请人 |
BURCKHARDT SEBASTIAN;MUSUVATHI MADANLAL;MICROSOFT CORPORATION |
发明人 |
BURCKHARDT SEBASTIAN;MUSUVATHI MADANLAL |
分类号 |
G06F9/46 |
主分类号 |
G06F9/46 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|