Statistics for SHM Racer : dynamic race condition detection using shared memory traps