Practical memory checking with Dr. Memory | IEEE Conference Publication | IEEE Xplore