Static driver verifier SDVslamcl_writer.exe proccess crash

NTDEV
1

Hi,

I tried to run “Static Driver Verifier” when building my driver.

Here are the commands I used:

  1. staticdv /scan
  2. A. staticdv /rules:*
    B. staticdv /config:C:\WinDDK\6000\tools\sdv\samples\rule_sets\wdm\BusDrivers.sdv

On both 2.A & 2.B running’s I got the following windows

****************************************
slamcl_writer.exe - Application Error
The exception unknown software exception (0xc00000fd) occurred in the application at location 0x0044bef5
Click OK/CANCEL…
****************************************

BTW: 0xc00000fd is STATUS_STACK_OVERFLOW

I got this (same) message twice during compilation. here is the output windows of the SDV build process:

****************************************

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

Warning: A driver (or a library) will be processed in the CHK build environment.
Build ‘my_drv’ …Done
Scan ‘my_drv’ …Done
Warning ‘my_drv’ No entry points have been approved in SDV-map.h for this driver.
Warning: Static Driver Verifier will ignore the DDBG=1 and DDEBUG flags. Any code that is within #if DBG==1 or #ifdef DEBUG …#endif section will be ignored by our compilation.
Library not processed: uuid.lib. The library could not be included in the verification.
Static Driver Verifier will run without these libraries.
To process the library, run a “staticdv /lib” command in the library’s source folder.

The Static Driver Verifier compile step failed.

****************************************

I’ve opened the file <my_drv_path>\SDV\check\adddevice\compile.txt
The size of the file is ~108KB 1042 lines
I see there a lot of warnings such as:

"slamcl Warning: Procedure __SAL_ValidCompNameA already defined. Ignoring later definition "
I’ve seen following errors in the file


translate’ {
slamcl_writer: 0
slamcl: error: slamcl_writer cmd for my_drv_path/objchk_wnet_x86/i386/debug failed with -1073741571
slamcl translate my_drv_path/objchk_wnet_x86/i386/debug }
slamcl slamcl }
slamcl: unexpected exception: at phase 1: Slamcl.CFrontEndError
slamcl slamcl {
slamcl slamcl: invoked with args ['/DSDV -ISDV\scan -IC:\WinDDK\6000\tools\sdv\osmodel\wdm /FIC:\WinDDK\6000



I did visit “Static Driver Verifier (SDV) Facts” page in http://www.microsoft.com/whdc/devtools/tools/sdv_facts.mspx
and found no help

more than that, I do compile it on a machine the complied with all system requirments (XP SP2 1.8Ghz dual core, 1GB physical memory)

I put here a lot of information, Hope that someone can provide me help with it</my_drv_path>

2

Since nobody is answering - does some one did succeed to run the SDV?

3

Geez, it was the weekend ;). I fwd’ed the issue to the owner of SDV and we shall see what he says

d

4

xxxxx@yahoo.com wrote:

Since nobody is answering - does some one did succeed to run the SDV?

Since I use C++, the bouncers at the door prevent me from entering that
particular club.

–
Tim Roberts, xxxxx@probo.com
Providenza & Boekelheide, Inc.

5

Thanks Doron,

I’m eager to read the answer from the SDV owner…
You can look in another thread here that the CUV had gone from WDK 6000 RTM
Sometimes I feel I’m the only developer that trying these tools :wink:

6

We know that CUV is gone, that is was a known decision. As for the SDV issues, email me directly and I can hook you up with an SDV dev who can help you trouble shoot offline.

d