Testing race conditions with mem access tracing and stack-based delay injection

Many security bugs are race conditions, where multi-threaded execution has to occur with the righ...