Object code verification. - Matthew Wahab (1998)