Abstract
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 UNIX operating system, and describe a semantic method for detecting
possible instances of this problem. We present the results of one such analysis
in which previouly undiscovered race condition flaw was found.
