Ondokuz / libtsan0-dbg

ThreadSanitizer -- a Valgrind-based detector of data races (debug symbols)