Tool to verify 64bits driver code.

NTDEV
1

Hello,
I have developed a kernel mode driver for 32 bits OSes. Now I am changing
the codes for 64bits OS support. For that whatever I found required for
64bits OSes I have changed and it is working for 64bits now. But I was
thinking if we have some tool to make sure at complie time that I have not
missed anything, it will be great. Please let me know if such tool exist.

Note: I am writing kernel mode driver so I am looking for kernel mode Tool
only.

/sarbojit

2

prefast finds lots of 64/32 incompatibilities.

Using “.cpp” instead of “.c” convinces the compiler to go into
stricter c++ mode.

/W4 /WX - no warnings allowed.

Mark Roddy
Not as “valuable” as he used to be.

On Tue, Oct 5, 2010 at 8:54 AM, Sarbojit Sarkar wrote:
> Hello,
> ?? I have developed a kernel mode driver for 32 bits OSes. Now I am changing
> the codes for 64bits OS support. For that whatever I found required for
> 64bits OSes I have changed and it is working for 64bits now. But I was
> thinking if we have some tool to make sure at complie time that I have not
> missed anything, it will be great. Please let me know if such tool exist.
> Note: I am writing kernel mode driver so I am looking for kernel mode Tool
> only.
> /sarbojit
> — 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

3

Have you read the various docs on this page, http://www.microsoft.com/whdc/driver/64bitguide.mspx ?

From: xxxxx@lists.osr.com [mailto:xxxxx@lists.osr.com] On Behalf Of Sarbojit Sarkar
Sent: Tuesday, October 05, 2010 5:54 AM
To: Windows System Software Devs Interest List
Subject: [ntdev] Tool to verify 64bits driver code.

Hello,
I have developed a kernel mode driver for 32 bits OSes. Now I am changing the codes for 64bits OS support. For that whatever I found required for 64bits OSes I have changed and it is working for 64bits now. But I was thinking if we have some tool to make sure at complie time that I have not missed anything, it will be great. Please let me know if such tool exist.

Note: I am writing kernel mode driver so I am looking for kernel mode Tool only.

/sarbojit
— 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