binary rewriting of an operating system kernel ∗ .
MiBench: A free, commercially representative embedded benchmark suite