Finding API usage rule violations in Windows device drivers using Static Driver Verifier.

Byron Cook

Browse the full ISoLA paper archive.