发明名称 |
UNIVERSAL CAUSALITY GRAPHS FOR BUG DETECTION IN CONCURRENT PROGRAMS |
摘要 |
A system and method for predictive analysis includes generating an execution trace on an instrumented version of source code for a multithreaded computer program. Interleavings which potentially lead to a violation in the program are statically generated by performing a static predictive analysis using a Universal Causality Graph (UCG) to generate alternative interleavings that might lead to an error. The UCG includes a unified happens-before model for the concurrent program and a property being analyzed. The interleavings are symbolically checked to determine errors in the program.
|
申请公布号 |
US2011167412(A1) |
申请公布日期 |
2011.07.07 |
申请号 |
US20100907409 |
申请日期 |
2010.10.19 |
申请人 |
NEC LABORATORIES AMERICA, INC. |
发明人 |
KAHLON VINEET;WANG CHAO |
分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|