4 ms·Analysis of X86 Application and System Programs via Machine-Code Verification [pdf]3 points by luu 11y ago