SDV fatal error

NTDEV
1

Hi All

I am trying to run SDV on my driver and get permission denied fatal error.

Any ideas?

Microsoft (R) Windows (R) Static Driver Verifier Version 1.5.319.0
Copyright (C) Microsoft Corporation. All rights reserved.

Warning: A driver (or a library) will be processed in the CHK build environment.

Build 'kmd' ...Done
Warning: A driver (or a library) will be processed in the CHK build environment.

Warning: SDV will ignore the DDBG=1 and DDEBUG flags. Any code that is within #i
f DBG==1 or #ifdef DEBUG ...#endif section will be ignored by our compilation.
Library not processed: int64.lib. The library could not be included in the verification.
Library not processed: displib.lib. The library could not be included in the verification.
Library not processed: libcntpr.lib. The library could not be included in the verification.
SDV will run without these libraries.
To process the library, run a "staticdv /lib" command in the library's source folder.
Scan 'kmd' ...Done
Warning 'kmd' No entry points have been approved in SDV-map.h for this driver.

Compile 'kmd' for [sdv_pnp_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_dispatch_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_simple_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_simple_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_simple_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_dispatch_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_simple_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_dispatch_startio_harness] ...Done
Link 'kmd' ...Done
Compile 'kmd' for [sdv_flat_dispatch_harness] ...Done
Link 'kmd' ...Done
Scan step failed for 'kmd' .

Z:\projects\rizalt\kmd\SDV\check\irqlapclte\sdv-harness.c : fatal error C1083

: Cannot open compiler generated file: 'z:/projects/rizalt/kmd/objchk_wlh_x86/i386/sdv-harness.obj': Permission denied

2

I don’t know what the problem is, but, in my personal opinion, though your use of the WDK’s static verification tools is most
commendable, you would be doing yourself a HUGE favor by using PreFAST first. When you address what it reports, feel free to move
on to StaticDV, but I personally have yet to see any evidence that StaticDV identifies any problems that either PreFAST does not or
that the process is remotely worth the unbearably long time that it takes to run, as compared to how hard the problems usually are
to find via good old WinDbg. I don’t mean ‘time it takes’ in an absolute sense, but rather in the sense of ‘longer than my personal
patience level to build and then sort out all the false hits.’

Now, if you chose to use StaticDV, then you’re going to have give a little help here as to what it is that you did:

  1. What command did you run.

  2. What version of the WDK are you using.

  3. Does StaticDV work when you run it on a WDK sample?

Finally, were you the one who had all the trouble getting PreFAST to run? If so, and if you still haven’t gotten it to work, then I
have nothing to offer until it does. If not, my apologies.

Good luck,

mm

Yossi Leybovich wrote:

Hi All

I am trying to run SDV on my driver and get permission denied fatal error.

Any ideas?

Microsoft (R) Windows (R) Static Driver Verifier Version 1.5.319.0

Copyright (C) Microsoft Corporation. All rights reserved.

Warning: A driver (or a library) will be processed in the CHK build
environment.

Build ‘kmd’ …Done

Warning: A driver (or a library) will be processed in the CHK build
environment.

Warning: SDV will ignore the DDBG=1 and DDEBUG flags. Any code that is
within #i

f DBG==1 or #ifdef DEBUG …#endif section will be ignored by our
compilation.

Library not processed: int64.lib. The library could not be included in
the verification.

Library not processed: displib.lib. The library could not be included in
the verification.

Library not processed: libcntpr.lib. The library could not be included
in the verification.

SDV will run without these libraries.

To process the library, run a “staticdv /lib” command in the library’s
source folder.

Scan ‘kmd’ …Done

Warning ‘kmd’ No entry points have been approved in SDV-map.h for this
driver.

Compile ‘kmd’ for [sdv_pnp_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_simple_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_simple_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_simple_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_simple_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_dispatch_startio_harness] …Done

Link ‘kmd’ …Done

Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done

Link ‘kmd’ …Done

Scan step failed for ‘kmd’ .

Z:\projects\rizalt\kmd\SDV\check\irqlapclte\sdv-harness.c : fatal

error C1083

: Cannot open compiler generated file:
‘z:/projects/rizalt/kmd/objchk_wlh_x86/i386/sdv-harness.obj’: Permission
denied

3

Hi

Thanks for your response
Yes I had problems running the PREfast and still didn’t overcome it .
Any how SDV is running when I run separate rules

Like
/rule:AddDevice
Or
/rule:Irql*

Only when I ran the whole rules together I get the permission denied error

Any ideas ?

10x
Yossi

-----Original Message-----
From: xxxxx@lists.osr.com [mailto:bounce-336338-
xxxxx@lists.osr.com] On Behalf Of Martin O’Brien
Sent: Tuesday, September 09, 2008 11:53 PM
To: Windows System Software Devs Interest List
Subject: Re:[ntdev] SDV fatal error

I don’t know what the problem is, but, in my personal opinion, though
your use of the WDK’s static verification tools is most
commendable, you would be doing yourself a HUGE favor by using PreFAST
first. When you address what it reports, feel free to move
on to StaticDV, but I personally have yet to see any evidence that
StaticDV identifies any problems that either PreFAST does not or
that the process is remotely worth the unbearably long time that it
takes to run, as compared to how hard the problems usually are
to find via good old WinDbg. I don’t mean ‘time it takes’ in an
absolute sense, but rather in the sense of ‘longer than my personal
patience level to build and then sort out all the false hits.’

Now, if you chose to use StaticDV, then you’re going to have give a
little help here as to what it is that you did:

  1. What command did you run.

  2. What version of the WDK are you using.

  3. Does StaticDV work when you run it on a WDK sample?

Finally, were you the one who had all the trouble getting PreFAST to
run? If so, and if you still haven’t gotten it to work, then I
have nothing to offer until it does. If not, my apologies.

Good luck,

mm

Yossi Leybovich wrote:
> Hi All
>
>
>
> I am trying to run SDV on my driver and get permission denied fatal
error.
>
>
>
> Any ideas?
>
>
>
>
>
> ---------------------------------------------------------------------
>
> Microsoft (R) Windows (R) Static Driver Verifier Version 1.5.319.0
>
> Copyright (C) Microsoft Corporation. All rights reserved.
>
> ---------------------------------------------------------------------
>
> Warning: A driver (or a library) will be processed in the CHK build
> environment.
>
>
>
> Build ‘kmd’ …Done
>
> Warning: A driver (or a library) will be processed in the CHK build
> environment.
>
>
>
> Warning: SDV will ignore the DDBG=1 and DDEBUG flags. Any code that is
> within #i
>
> f DBG==1 or #ifdef DEBUG …#endif section will be ignored by our
> compilation.
>
> Library not processed: int64.lib. The library could not be included in
> the verification.
>
> Library not processed: displib.lib. The library could not be included
in
> the verification.
>
> Library not processed: libcntpr.lib. The library could not be included
> in the verification.
>
> SDV will run without these libraries.
>
> To process the library, run a “staticdv /lib” command in the library’s
> source folder.
>
> Scan ‘kmd’ …Done
>
> Warning ‘kmd’ No entry points have been approved in SDV-map.h for
this
> driver.
>
>
>
> Compile ‘kmd’ for [sdv_pnp_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_dispatch_startio_harness] …Done
>
> Link ‘kmd’ …Done
>
> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>
> Link ‘kmd’ …Done
>
> Scan step failed for ‘kmd’ .
>
> ## Z:\projects\rizalt\kmd\SDV\check\irqlapclte\sdv-harness.c : fatal
> error C1083
>
> : Cannot open compiler generated file:
> ‘z:/projects/rizalt/kmd/objchk_wlh_x86/i386/sdv-harness.obj’:
Permission
> denied
>

NTDEV is sponsored by OSR

For our schedule of WDF, WDM, debugging and other seminars visit:
http://www.osr.com/seminars

To unsubscribe, visit the List Server section of OSR Online at
http://www.osronline.com/page.cfm?name=ListServer

4

No idea.

Does it work with a WDK sample?

Yossi Leybovich wrote:

Hi

Thanks for your response
Yes I had problems running the PREfast and still didn’t overcome it .
Any how SDV is running when I run separate rules

Like
/rule:AddDevice
Or
/rule:Irql*

Only when I ran the whole rules together I get the permission denied error

Any ideas ?

10x
Yossi

> -----Original Message-----
> From: xxxxx@lists.osr.com [mailto:bounce-336338-
> xxxxx@lists.osr.com] On Behalf Of Martin O’Brien
> Sent: Tuesday, September 09, 2008 11:53 PM
> To: Windows System Software Devs Interest List
> Subject: Re:[ntdev] SDV fatal error
>
> I don’t know what the problem is, but, in my personal opinion, though
> your use of the WDK’s static verification tools is most
> commendable, you would be doing yourself a HUGE favor by using PreFAST
> first. When you address what it reports, feel free to move
> on to StaticDV, but I personally have yet to see any evidence that
> StaticDV identifies any problems that either PreFAST does not or
> that the process is remotely worth the unbearably long time that it
> takes to run, as compared to how hard the problems usually are
> to find via good old WinDbg. I don’t mean ‘time it takes’ in an
> absolute sense, but rather in the sense of ‘longer than my personal
> patience level to build and then sort out all the false hits.’
>
> Now, if you chose to use StaticDV, then you’re going to have give a
> little help here as to what it is that you did:
>
> 1. What command did you run.
>
> 2. What version of the WDK are you using.
>
> 3. Does StaticDV work when you run it on a WDK sample?
>
> Finally, were you the one who had all the trouble getting PreFAST to
> run? If so, and if you still haven’t gotten it to work, then I
> have nothing to offer until it does. If not, my apologies.
>
>
> Good luck,
>
> mm
>
>
>
> Yossi Leybovich wrote:
>> Hi All
>>
>>
>>
>> I am trying to run SDV on my driver and get permission denied fatal
> error.
>>
>>
>> Any ideas?
>>
>>
>>
>>
>>
>> ---------------------------------------------------------------------
>>
>> Microsoft (R) Windows (R) Static Driver Verifier Version 1.5.319.0
>>
>> Copyright (C) Microsoft Corporation. All rights reserved.
>>
>> ---------------------------------------------------------------------
>>
>> Warning: A driver (or a library) will be processed in the CHK build
>> environment.
>>
>>
>>
>> Build ‘kmd’ …Done
>>
>> Warning: A driver (or a library) will be processed in the CHK build
>> environment.
>>
>>
>>
>> Warning: SDV will ignore the DDBG=1 and DDEBUG flags. Any code that is
>> within #i
>>
>> f DBG==1 or #ifdef DEBUG …#endif section will be ignored by our
>> compilation.
>>
>> Library not processed: int64.lib. The library could not be included in
>> the verification.
>>
>> Library not processed: displib.lib. The library could not be included
> in
>> the verification.
>>
>> Library not processed: libcntpr.lib. The library could not be included
>> in the verification.
>>
>> SDV will run without these libraries.
>>
>> To process the library, run a “staticdv /lib” command in the library’s
>> source folder.
>>
>> Scan ‘kmd’ …Done
>>
>> Warning ‘kmd’ No entry points have been approved in SDV-map.h for
> this
>> driver.
>>
>>
>>
>> Compile ‘kmd’ for [sdv_pnp_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_dispatch_startio_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>>
>> Link ‘kmd’ …Done
>>
>> Scan step failed for ‘kmd’ .
>>
>> ## Z:\projects\rizalt\kmd\SDV\check\irqlapclte\sdv-harness.c : fatal
>> error C1083
>>
>> : Cannot open compiler generated file:
>> ‘z:/projects/rizalt/kmd/objchk_wlh_x86/i386/sdv-harness.obj’:
> Permission
>> denied
>>
> —
> NTDEV is sponsored by OSR
>
> For our schedule of WDF, WDM, debugging and other seminars visit:
> http://www.osr.com/seminars
>
> To unsubscribe, visit the List Server section of OSR Online at
> http://www.osronline.com/page.cfm?name=ListServer

5

What was wrong with prefast ?
You simply run it from WDK command line:
\> prefast build cef

Then you view the results either in a GUI with “prefast view” or in the
command console with “prefast list”.

Also note, that prefast that comes with WDK 6000 does not treat KMDF
spinlocks correctly.
Use prefast from WDK 6001 .

Alexey

Martin O’Brien wrote:

No idea.

Does it work with a WDK sample?

Yossi Leybovich wrote:
> Hi
>
> Thanks for your response
> Yes I had problems running the PREfast and still didn’t overcome it .
> Any how SDV is running when I run separate rules
>
> Like
> /rule:AddDevice
> Or
> /rule:Irql*
>
> Only when I ran the whole rules together I get the permission denied
> error
>
> Any ideas ?
>
> 10x
> Yossi
>
>> -----Original Message-----
>> From: xxxxx@lists.osr.com [mailto:bounce-336338-
>> xxxxx@lists.osr.com] On Behalf Of Martin O’Brien
>> Sent: Tuesday, September 09, 2008 11:53 PM
>> To: Windows System Software Devs Interest List
>> Subject: Re:[ntdev] SDV fatal error
>>
>> I don’t know what the problem is, but, in my personal opinion, though
>> your use of the WDK’s static verification tools is most
>> commendable, you would be doing yourself a HUGE favor by using PreFAST
>> first. When you address what it reports, feel free to move
>> on to StaticDV, but I personally have yet to see any evidence that
>> StaticDV identifies any problems that either PreFAST does not or
>> that the process is remotely worth the unbearably long time that it
>> takes to run, as compared to how hard the problems usually are
>> to find via good old WinDbg. I don’t mean ‘time it takes’ in an
>> absolute sense, but rather in the sense of ‘longer than my personal
>> patience level to build and then sort out all the false hits.’
>>
>> Now, if you chose to use StaticDV, then you’re going to have give a
>> little help here as to what it is that you did:
>>
>> 1. What command did you run.
>>
>> 2. What version of the WDK are you using.
>>
>> 3. Does StaticDV work when you run it on a WDK sample?
>>
>> Finally, were you the one who had all the trouble getting PreFAST to
>> run? If so, and if you still haven’t gotten it to work, then I
>> have nothing to offer until it does. If not, my apologies.
>>
>>
>> Good luck,
>>
>> mm
>>
>>
>>
>> Yossi Leybovich wrote:
>>> Hi All
>>>
>>>
>>>
>>> I am trying to run SDV on my driver and get permission denied fatal
>> error.
>>>
>>>
>>> Any ideas?
>>>
>>>
>>>
>>>
>>>
>>> ---------------------------------------------------------------------
>>>
>>> Microsoft (R) Windows (R) Static Driver Verifier Version 1.5.319.0
>>>
>>> Copyright (C) Microsoft Corporation. All rights reserved.
>>>
>>> ---------------------------------------------------------------------
>>>
>>> Warning: A driver (or a library) will be processed in the CHK build
>>> environment.
>>>
>>>
>>>
>>> Build ‘kmd’ …Done
>>>
>>> Warning: A driver (or a library) will be processed in the CHK build
>>> environment.
>>>
>>>
>>>
>>> Warning: SDV will ignore the DDBG=1 and DDEBUG flags. Any code that is
>>> within #i
>>>
>>> f DBG==1 or #ifdef DEBUG …#endif section will be ignored by our
>>> compilation.
>>>
>>> Library not processed: int64.lib. The library could not be included in
>>> the verification.
>>>
>>> Library not processed: displib.lib. The library could not be included
>> in
>>> the verification.
>>>
>>> Library not processed: libcntpr.lib. The library could not be included
>>> in the verification.
>>>
>>> SDV will run without these libraries.
>>>
>>> To process the library, run a “staticdv /lib” command in the library’s
>>> source folder.
>>>
>>> Scan ‘kmd’ …Done
>>>
>>> Warning ‘kmd’ No entry points have been approved in SDV-map.h for
>> this
>>> driver.
>>>
>>>
>>>
>>> Compile ‘kmd’ for [sdv_pnp_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_simple_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_dispatch_startio_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Compile ‘kmd’ for [sdv_flat_dispatch_harness] …Done
>>>
>>> Link ‘kmd’ …Done
>>>
>>> Scan step failed for ‘kmd’ .
>>>
>>> ## Z:\projects\rizalt\kmd\SDV\check\irqlapclte\sdv-harness.c : fatal
>>> error C1083
>>>
>>> : Cannot open compiler generated file:
>>> ‘z:/projects/rizalt/kmd/objchk_wlh_x86/i386/sdv-harness.obj’:
>> Permission
>>> denied
>>>
>> —
>> NTDEV is sponsored by OSR
>>
>> For our schedule of WDF, WDM, debugging and other seminars visit:
>> http://www.osr.com/seminars
>>
>> To unsubscribe, visit the List Server section of OSR Online at
>> http://www.osronline.com/page.cfm?name=ListServer
>

NTDEV is sponsored by OSR

For our schedule of WDF, WDM, debugging and other seminars visit:
http://www.osr.com/seminars

To unsubscribe, visit the List Server section of OSR Online at
http://www.osronline.com/page.cfm?name=ListServer