Bug: msbuild Build error does not lead to SMV failing verification - Githubissues

microsoft / Static-Module-Verifier

Static Module Verifier technology enables full module analysis using Microsoft Azure.

MIT License

9 stars 11 forks source link

Bug: msbuild Build error does not lead to SMV failing verification #4

Closed jakoblichtenberg closed 8 years ago

jakoblichtenberg commented 8 years ago

Without fix for Bug VSO 9798617 (SMV: ITP: Regression: win8_rtm\net\netio\directaccess\danlb\sys) we have the intercepted build failing.

The evidence is in sdv\smvcl.log:

J:\SD\slam\5\WDK\win8_rtm\net\netio\directaccess\danlb\sys\sdv\headers\ndis.h(5): fatal error C1083: Cannot open include file: 'J:\SD\slam\5\sdv\product\osmodel\wdm\sdv_ndis.h': No such file or directory

Expected: SMV catch this msbuild error and stops verification.

Actual: SMV does not catch this build error. Verification proceed with scan step.