Typestate Checking of Machine Code.

Zhichen Xu, Thomas W. Reps, Barton P. Miller

Browse the full ESOP paper archive.