Driver Verifier Windows 8 Free Download

-->

Static Driver Verifier (also known as 'StaticDV' or 'SDV') is a static verification tool that systematically analyzes the source code of Windows kernel-mode drivers. SDV is a compile time tool that is capable of discovering defects and design issues in a driver. Based on a set of interface rules and a model of the operating system, SDV determines whether the driver correctly interacts with the Windows operating system kernel.

The Static Driver Verifier Research Platform is a new academic release of Static Driver Verifier. Free downloads & security. Windows 7, Windows 8. You don't need to download Driver Verifier (Verifier.exe) as it is included in every version of Windows after Windows 2000, except for Windows 10 S. Honeywell Voyager 9520 Free Driver Download for Windows 8, 7, Vista, XP - Honeywell_Drivers.zip (1892720). World's most popular driver download site.

Installing Static Driver Verifier

Static Driver Verifier is available as part of the Windows Driver Kit (WDK) in both the full WDK experience and in the standalone Enterprise WDK. In addition, the Visual C++ Redistributable Packages for Visual Studio are required for SDV to run. See the following:

For versions of SDV available in the WDK for Windows 10, Version 1809 or earlier, the Visual C++ Redistributable Packages for Visual Studio 2012 should be installed instead of the 2017 packages.

Visual Studio Integration

Static Driver Verifier is integrated into Visual Studio. You can run static analysis on your Visual Studio driver project. You can launch, configure, and control Static Driver Verifier from the Driver menu in Visual Studio.

Static Driver Verifier Documentation

  • Static Driver Verifier Known Issues: Lists latest known issues for Static Driver Verifier
  • Using Static Driver Verifier to Find Defects in Drivers: Tells you what you need to get started analyzing your driver code in the Visual Studio environment.
  • Static Driver Verifier commands (MSBuild): Lists the MSBuild commands to use to run SDV in a Visual Studio Command Prompt window.
  • Introducing Static Driver Verifier: Provides an overview of the static analysis tool.
  • Using Static Driver Verifier: Provides the details about using and configuring the static analysis tool.
  • Static Driver Verifier Report: Describes the viewer that displays the detailed trace of the static code analysis.
  • Static Driver Verifier Rules: The rules define the requirements for proper interaction between a driver model and the kernel interface of the operating system.
  • Static Driver Verifier Reference: Provides reference information about the function role types, SDV configuration files, error, and warning messages.

Finding Bugs in Windows Driver Code

Microsoft uses SDV to test the kernel-mode drivers that are included with the Microsoft Windows operating system and to test the sample drivers in the WDK. By using the DDI compliance rules for specific driver models, SDV can verify correct driver behavior. For example, SDV can verify that the driver:

  • Calls functions at the correct IRQL
  • Acquires and releases locks in the correct sequence
  • Correctly uses functions that handle I/O request packets (IRP)

SDV examines all possible paths through the driver code. It is designed to find serious errors in obscure paths that are unlikely to be encountered even in thorough testing.

Additional resources

For specific information about the drivers that SDV can verify, see Supported Drivers

For more information and tips about using Static Driver Verifier, see the following:

Supported Models

Manufacturers

Honeywell International Inc.

Supported Operating Systems

Driver verifier windows 8.1

Windows 8, Windows 8 (64 bit), Windows 7, Windows 7 (64 bit), Windows Vista, Windows Vista (64 bit), Windows XP

File Name

Honeywell_Drivers.zip (4.7 MB)

Versions

2.1.6.17 (22 Jun 2010)

Find Related Drivers

Uploader Notes

The Honeywell Scanning & Mobility (HSM) USB Serial Driver connects an HSM scanner through a virtual COM port to a Microsoft Windows operating system and applications.

Driver Verifier Manager Win 10

Uploaded By

Madman7814 (DG Member) on 2014-04-09 10:34:06

Supported Devices

3800G Linear Imager

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

4600r 2D Imager

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

4800dr Document Reader

Free Driver Installer Windows 8

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

4800P 2D Imager

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware Ids

5110 Area Imager

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

5180 Area Imager

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

Honeywell Access Point

Verifier
ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

Honeywell Bidirectional Device

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

Honeywell Control Device

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware Ids

Honeywell Unidirectional Device

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

IT2020 Cordless Base

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

IT4200 Area Imager

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

Driver Verifier Windows 8.1

IT4600 Area Imager

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

IT4800 Area Imager

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

IT5800 Linear Imager

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

How To Use Driver Verifier

QC890 Verifier

ManufacturerHoneywell International Inc.
ClassUSB
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

Windows 8 Free Download Torrent

Xenon 1900 Area-Imaging Scanner

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

Xenon 1902 Wireless Area-Imaging Scanner

ManufacturerHoneywell International Inc.
ClassPorts
Hardware Ids
Compatible Hardware IdsNo Compatible Hardware Ids found.

Driver Contents File List

The following files are found inside the driver download file.

Windows 8 free. download full

NameSizeDate
HSM USB Serial Driver - Debug Logging.pdf107.9 KB12 Apr 2011
HSM USB Serial Driver - WDReg Usage.pdf34.4 KB12 Apr 2011
HSM USB Serial Driver Getting Started Guide.pdf121.2 KB12 Apr 2011
HSM USB Serial Driver Release Notes_r1.5.2.pdf30.4 KB12 Apr 2011
Install.log2.7 MB8 Apr 2014
Install_x64.bat52 bytes12 Apr 2011
Install_x86.bat52 bytes12 Apr 2011
Instructions.txt27 bytes5 Jul 2012
Uninstall.log945.0 KB14 May 2012
Uninstall_x64.bat54 bytes12 Apr 2011
Uninstall_x86.bat54 bytes12 Apr 2011
_Install.bat10.6 KB12 Apr 2011
x64/WdfCoInstaller01009.dll1.7 MB12 Apr 2011
x64/acmfccoi_21617.dll28.0 KB12 Apr 2011
x64/difxapi.dll524.2 KB12 Apr 2011
x64/honeywell_cdc_002.cat8.8 KB12 Apr 2011
x64/honeywell_cdc_002.inf5.7 KB12 Apr 2011
x64/honeywell_cdc_003.cat9.0 KB12 Apr 2011
x64/honeywell_cdc_003.inf5.8 KB12 Apr 2011
x64/honeywell_cdc_004.cat9.0 KB12 Apr 2011
x64/honeywell_cdc_004.inf5.9 KB12 Apr 2011
x64/honeywell_cdc_005.cat9.2 KB12 Apr 2011
x64/honeywell_cdc_005.inf6.0 KB12 Apr 2011
x64/honeywell_cdc_006.cat9.2 KB12 Apr 2011
x64/honeywell_cdc_006.inf6.0 KB12 Apr 2011
x64/honeywell_cdc_007.cat8.7 KB12 Apr 2011
x64/honeywell_cdc_007.inf5.4 KB12 Apr 2011
x64/honeywell_cdc_008.cat8.7 KB12 Apr 2011
x64/honeywell_cdc_008.inf5.5 KB12 Apr 2011
x64/honeywell_cdc_009.cat8.7 KB12 Apr 2011
x64/honeywell_cdc_009.inf5.4 KB12 Apr 2011
x64/honeywell_cdc_21617.sys90.2 KB12 Apr 2011
x64/honeywell_enum_002.cat8.4 KB12 Apr 2011
x64/honeywell_enum_002.inf3.2 KB12 Apr 2011
x64/honeywell_enum_003.cat8.5 KB12 Apr 2011
x64/honeywell_enum_003.inf3.3 KB12 Apr 2011
x64/honeywell_enum_004.cat8.6 KB12 Apr 2011
x64/honeywell_enum_004.inf3.4 KB12 Apr 2011
x64/honeywell_enum_005.cat8.7 KB12 Apr 2011
x64/honeywell_enum_005.inf3.5 KB12 Apr 2011
x64/honeywell_enum_006.cat8.7 KB12 Apr 2011
x64/honeywell_enum_006.inf3.5 KB12 Apr 2011
x64/honeywell_enum_007.cat8.2 KB12 Apr 2011
x64/honeywell_enum_007.inf2.9 KB12 Apr 2011
x64/honeywell_enum_008.cat8.2 KB12 Apr 2011
x64/honeywell_enum_008.inf3.0 KB12 Apr 2011
x64/honeywell_enum_009.cat8.2 KB12 Apr 2011
x64/honeywell_enum_009.inf2.9 KB12 Apr 2011
x64/honeywell_enum_21617.sys85.6 KB12 Apr 2011
x64/honeywell_enum_control_002.cat8.4 KB12 Apr 2011
x64/honeywell_enum_control_002.inf2.7 KB12 Apr 2011
x64/wdreg.exe151.4 KB12 Apr 2011
x64/wdreg.exe.manifest560 bytes12 Apr 2011
x64/wdreg_gui.exe150.9 KB12 Apr 2011
x64/wdreg_gui.exe.manifest564 bytes12 Apr 2011
x86/WdfCoInstaller01009.dll1.5 MB12 Apr 2011
x86/acmfccoi_21617.dll26.0 KB12 Apr 2011
x86/difxapi.dll317.8 KB12 Apr 2011
x86/honeywell_cdc_002.cat8.8 KB12 Apr 2011
x86/honeywell_cdc_002.inf5.7 KB12 Apr 2011
x86/honeywell_cdc_003.cat9.0 KB12 Apr 2011
x86/honeywell_cdc_003.inf5.8 KB12 Apr 2011
x86/honeywell_cdc_004.cat9.0 KB12 Apr 2011
x86/honeywell_cdc_004.inf5.9 KB12 Apr 2011
x86/honeywell_cdc_005.cat9.1 KB12 Apr 2011
x86/honeywell_cdc_005.inf6.0 KB12 Apr 2011
x86/honeywell_cdc_006.cat9.1 KB12 Apr 2011
x86/honeywell_cdc_006.inf6.0 KB12 Apr 2011
x86/honeywell_cdc_007.cat8.6 KB12 Apr 2011
x86/honeywell_cdc_007.inf5.4 KB12 Apr 2011
x86/honeywell_cdc_008.cat8.6 KB12 Apr 2011
x86/honeywell_cdc_008.inf5.5 KB12 Apr 2011
x86/honeywell_cdc_009.cat8.6 KB12 Apr 2011
x86/honeywell_cdc_009.inf5.4 KB12 Apr 2011
x86/honeywell_cdc_21617.sys79.8 KB12 Apr 2011
x86/honeywell_enum_002.cat8.3 KB12 Apr 2011
x86/honeywell_enum_002.inf3.2 KB12 Apr 2011
x86/honeywell_enum_003.cat8.5 KB12 Apr 2011
x86/honeywell_enum_003.inf3.3 KB12 Apr 2011
x86/honeywell_enum_004.cat8.5 KB12 Apr 2011
x86/honeywell_enum_004.inf3.4 KB12 Apr 2011
x86/honeywell_enum_005.cat8.7 KB12 Apr 2011
x86/honeywell_enum_005.inf3.5 KB12 Apr 2011
x86/honeywell_enum_006.cat8.7 KB12 Apr 2011
x86/honeywell_enum_006.inf3.5 KB12 Apr 2011
x86/honeywell_enum_007.cat8.2 KB12 Apr 2011
x86/honeywell_enum_007.inf2.9 KB12 Apr 2011
x86/honeywell_enum_008.cat8.2 KB12 Apr 2011
x86/honeywell_enum_008.inf3.0 KB12 Apr 2011
x86/honeywell_enum_009.cat8.2 KB12 Apr 2011
x86/honeywell_enum_009.inf2.9 KB12 Apr 2011
x86/honeywell_enum_21617.sys72.6 KB12 Apr 2011
x86/honeywell_enum_control_002.cat8.4 KB12 Apr 2011
x86/honeywell_enum_control_002.inf2.7 KB12 Apr 2011
x86/wdreg.exe292.2 KB12 Apr 2011
x86/wdreg.exe.manifest560 bytes12 Apr 2011
x86/wdreg_gui.exe288.1 KB12 Apr 2011
x86/wdreg_gui.exe.manifest564 bytes12 Apr 2011

Free Driver Windows 8 Download

Driver Related Resources