1. One or more computer-readable media containing executable code for performing the following steps: recording execution of a first execution context comprising a first write instruction and a second execution context comprising a second write instruction; detecting one or more possible race conditions that may occur when concurrently executing the first execution context and the second execution context; filtering one or more false positive race conditions from the one or more possible race conditions to obtain a positive race condition; determining that the first write instruction writes a first value to a memory location during the positive race condition, and that the second write instruction writes a second value to the memory location during the positive race condition; comparing the first value to the second value; categorizing the positive race condition as a potentially harmful race condition when the first value is different from the second value; and categorizing the positive race condition as a potentially benign race condition when the first value is equal to the second value.