Soft82.com » Windows » Developer Tools » Tools & Editors » Editors » Microsoft Application Verifier 3.4.527

Microsoft Application Verifier Description

Runtime verification tool for unmanaged code that assists in finding subtle programming errors

Overview
Application Verifier is a runtime verification tool for unmanaged code that assists in quickly finding subtle programming errors that can be extremely difficult to identify with normal application testing.

Application Verifier is designed specifically to detect and help debug memory corruptions and critical security vulnerabilities. It makes it easier to create reliable applications by monitoring an application's interaction with the Windows operating system, profiling its use of objects, the registry, the file system, and Win32 APIs (including heaps, handles, locks, and more). It also includes checks to predict how well the application will perform under Least-privileged User Account operation, compatibility tests to be used in logoing, and print tests to verify your usage of the print subsystem.

Running Application Verifier is easy; simply turn on the tool then run your project and go through your normal testing scenarios with a debugger attached. When your tests are completed, view the Application Verifier logs for any errors that may have been detected.

System Requirements

* Supported Operating Systems: Windows Server 2003; Windows Vista; Windows XP

Application Verifier can be used with any unmanaged application or program. In order to test with Application Verifier,
• You must be an administrator on the system that you are using in order to run Application Verifier.
• You must run your project with the tool turned on and go through your testing scenarios
• The system must be running a supported Windows platform: Windows XP, Windows Server 2003, Windows Vista.
• Application Verifier supports x86, x64 and IA64 platforms
• If full page heap is enabled, you will need to ensure you have a large page file (e.g. 1Gb).
• The Basics verification layer will require that you run your application under a debugger.
Note: WinPE is not supported with this release of Application Verifier

Instructions
To install Application Verifier,
1. Select from the list below the appropriate platform.
2. Click the file name.
3. When prompted, do one of the following:
• To start the installation immediately, click Open or Run this program from its current location.
• To copy the download to your computer for installation at a later time, click Save or Save this program to disk.


Additional Information
This release includes fixes in the following areas:
• Basics: Added support for RtlTimer and RtlWait. Added detection of SetProcessAffinity mask calls in the threadpool tests. Added two new stops within the memory checks (creating executable heap & allocating executable memory). Increased the size of the capture stack traces.
• Debugger message: The informational message displayed when you select a set of tests that require running under a debugger previously had a bad link that was fixed.
• Help documentation updates
• Print: Added runtime verification for Print Ticket driver and application APIs as well as the Print Filter Pipeline components.

Please note that within this release we removed the 'NoSync' property from the Heap stops. This was used to check for unsynchronized access.

Don't forget about our key additions/changes from previous releases:
• Print Verifier – a new verification layer designed to help find and troubleshoot issues that may result when the print subsystem is called by an application.
• Compatibility – previously available in the AppCompat Toolkit 3.0, this verification layer is leveraged in logoing. It helps to identify applications that may have problems with the Microsoft Windows Operating System.
• ThreadPool – a new set of tests within the Basics verification layer. These find the most common mistakes made by developers using threadpool – leaving a worker thread in a dirty state after executing a callback function.

• Ability to script, for those advanced users, check out the SDK shipped in the package for more details.
• Log location change. Logs will no longer be stored in Documents and Settings\All Users\Documents\AppVerifierLogs & Documents and Settings\All Users\AppVerifierLogs. Instead, they will be placed in %USERPROFILE%\AppVerifierLogs.

Known Issues
Help documentation does not have details regarding the LFHGuardPages property found in the Heaps tests.
Scripting:
1. If you disable all of the checks in IAppVerifierImageChecks then the image is no longer under verification. You must then re-add the image to the images collection in IAppVerifierManager. So be careful when removing checks from the collection that you don’t inadvertently delete the last one.
2. IAppVerifierImageCheck::get_Properties and IAppVerifierImageCheck::get_Stops will fail with E_FAIL if the check is not enabled. If you are using these interfaces from languages that support the "FOREACH" construct you will need to check that the check is enabled before enumerating the collection using "FOREACH".

Customers who previously installed Application Verifier via the Application Compatibility Toolkit v3 please read. Installing Application Verifier today will not overwrite your existing Application Compatibility install. You will have two instances of Application Verifier on your machine (2.5 and 3.x). You will be able to use each of these, but note that if you are running both simultaneously on the same application then the 3.x settings take precedence. That is unless you are using tests that are not yet found in the 3.x release.

Setup install and uninstall with previous versions of your machine. If you install this release over 3.0.0026 you will see two desktop icons (both will launch the latest) and two listings in the Add/Remove programs (newest version will have 3.x next to it)

Microsoft Application Verifier Download Button For Your Site

If you want to place a Download Button for Microsoft Application Verifier on your website just insert the following code:

If you want a Link to this page you can use one of the logos bellow:

Microsoft Application Verifier User Reviews

New Editors Software

TeXstudio May 22, 2012 An integrated environment for writing LaTeX documents				VbsEdit May 21, 2012 VBScript editor that dramatically reduces the time you spend writing VBS scripts
MS Developer Studio AddIn May 17, 2012 MS Developer Studio AddIn was designed for Microsoft Developer Studio				Modem Master ActiveX Component May 17, 2012 Powerful COM Port wrapper Active-X
AthTek Code to FlowChart May 17, 2012 Code to FlowChart generates flowchart from source code, to let code visual				Cibet May 17, 2012 The Cibet framework helps to control the execution of important business processes
TortoiseHg May 17, 2012 TortoiseHg is an all-inclusive Mercurial binary installer package for Windows				BitNami Jenkins Stack May 11, 2012 An easy-to-install distribution of Jenkins
DataMatch May 10, 2012 data quality, cleansing, matching and deduplication software in one easy to use				DeployMaster May 9, 2012 Installation builder delivering your software with a good first impression
CodeSmith Standard May 9, 2012 CodeSmith is a template-based code generator that allows you to generate code for any text language				ASPrunnerPro May 9, 2012 Database management tool
SynWrite (formerly Syn2) May 8, 2012 Plugin-editor with syntax hilighting				EditPlus May 8, 2012 EditPlus is a text and html editor for Windows
PilotEdit Lite May 7, 2012 An advanced text and hex editor that supports opening of files larger than 4GB				Komodo Edit May 7, 2012 Free multi-platform, multi-language editor for dynamic languages and Ajax tech
HelpSmith May 7, 2012 Create CHM HTML Help files and Printed Manuals easily with HelpSmith				Sprintometer May 4, 2012 A simple but powerful tool for management and tracking of SCRUM and XP
My Nes April 27, 2012 A portable open source NES/FAMICOM emulator written in C#				Zeta Resource Editor April 27, 2012 Application that enables you to edit standard Microsoft .NET string resources

Last 7 Days Most Downloaded Editors Products

Adobe (Macromedia) Dreamweaver 878 downloads Adobe Dreamweaver is a popular graphical web development tool.				EditPlus 348 downloads EditPlus is a text and html editor for Windows
Eclipse 230 downloads Eclipse is an open source community whose projects are focused on building an open development...				NetBeans IDE 124 downloads A modular developer tool for a wide range of development tasks
Notepad++ 83 downloads Notepad++ is source code editor and Notepad replacement				Help Generator for Visual Basic 6.0 65 downloads Help Generator and help editor to add Help to your applications easily.
Microsoft Visual Studio 2008 SDK 49 downloads Allows developers to integrate tools, editors, designers, languages, and other features				PowerBuilder Desktop 48 downloads Quickly deliver applications that solve business challenges using a robust, innovative and proven
Force 42 downloads a full-featured programming environment for FORTRAN 77 (the engineering programming language).				Microsoft .NET Framework 38 downloads A preview release of the latest version of the .NET Framework

All Time Most Downloaded Editors Products

Adobe (Macromedia) Dreamweaver 942,746 downloads Adobe Dreamweaver is a popular graphical web development tool.				EditPlus 276,931 downloads EditPlus is a text and html editor for Windows
Eclipse 75,669 downloads Eclipse is an open source community whose projects are focused on building an open development...				NetBeans IDE 64,082 downloads A modular developer tool for a wide range of development tasks
Notepad++ 60,393 downloads Notepad++ is source code editor and Notepad replacement				Help Generator for Visual Basic 6.0 27,276 downloads Help Generator and help editor to add Help to your applications easily.
Microsoft Visual Studio 2008 SDK 66,284 downloads Allows developers to integrate tools, editors, designers, languages, and other features				PowerBuilder Desktop 10,455 downloads Quickly deliver applications that solve business challenges using a robust, innovative and proven
Force 6,078 downloads a full-featured programming environment for FORTRAN 77 (the engineering programming language).				Microsoft .NET Framework 40,370 downloads A preview release of the latest version of the .NET Framework