Patent ID: 7685572
Filing Date: 2010-03-23
Classification: G06F

Abstract:
1. A method for detecting a race condition using static analysis comprising: generating a first lock set, wherein the first lock set represents access rights that a first path of a plurality of paths has to a plurality of data elements when accessing a first data element of the plurality of data elements; generating a second lock set, wherein the second lock set represents access rights that a second path of the plurality of paths has to the plurality of data elements when accessing a second data element of the plurality of data elements; generating a first permit set for the first lock set, wherein generating the first permit set comprises: generating a second permit set for the second lock set, wherein generating the second permit set comprises: performing a static analysis, using a processor of a computer system, 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 prior to accessing critical data and comprises: