View article

Flaws due to race conditions in which the binding of a name to an object changes between repeated references occur in many programs. We examine one type of this flaw in the UND (operating system, and describe a semantic method for detect-ing possible instances of this problem. W'e present the results of one such analysis in which a previously undiscovered race condition flaw was found.