binary rewriting of an operating system kernel ∗ .
RacerX: effective, static detection of race conditions and deadlocks