Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Donghai Qiao0
Date of Patent
March 23, 2010
0Patent Application Number
112082650
Date Filed
August 19, 2005
0Patent Primary Examiner
Patent abstract
A method for detecting a race condition using static analysis that includes determining a first permit set and a second permit set, and performing a static analysis, wherein the static analysis comprises using the first permit set and the second permit set to detect a race condition, wherein the static analysis is performed before accessing critical data and includes determining whether the intersection of the first permit set and the second permit set is empty, and if the intersection of the first permit set and the second permit set is empty, then outputting a value indicating the detection of a race condition.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
