Practical memory checking with Dr. Memory
efficient , transparent , and comprehensive runtime code manipulation .