Fast and accurate static data-race detection for concurrent programs
US8185875B2 · kind B2 · utility
5Cited by
9References
25Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 12, 2007 |
| Grant date | May 22, 2012 |
| Priority date | — |
| Expiry date | Mar 21, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/526
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by leveraging function summarization. Locksets are determined at locations where shared variables are accessed using the points-to sets for lock pointers. Warnings are based on disjointness of locksets.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.