Analysis of X86 Application and System Programs via Machine-Code Verification [pdf]cs.utexas.edu3 pointsluu10 years ago