Finding driver bugs with DR. CHECKER

Perhaps it was a subtle reference to the similarity between error-finding tools for code and for English - a spellchecker will happily observe that "know" and "poses" are valid words, without noticing that the sentence makes no grammatical or logical sense, just as most bug-finding tools will detect simple erroneous code patterns but fail to do any higher-level analysis.

Or perhaps they just made some last-minute edits to the abstract and didn't proofread it properly.