Hi All,
I have to praise Microsoft for providing us with preFAST. I brought this back from WinHEC and a collegue tried running it on the source code for a WHQL’ed signed driver.
It immediately found 2 bugs: Unchecked return values from functions burried in if statements. Our testing hadn’t found them nor did verifier or HCT.
I strongly recommend everyone pass their code through it to see what is found.
Regards, Mark
PS: Where did it get its name??