Safety checking of machine code (2000)

by Z Xu, B Miller, T Reps
Venue:in Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI