Menu

There are two sets of properties within Application Verifier. One is based on the checks within a given verification layer, whereas the other is based on the image (solution or project). These properties are accessed from the Property Window.

Available Properties

Application Verifier displays the following information for each of the properties that are allowed to be edited:

  • Name - Unique name for each of the properties

  • Type - Boolean, DWORD, String, MultipleString

  • Value - The element that can be changed and varies based on type

  • Description - The description explains what the property is.

Editing Properties for images

For each image being tested within Application Verifier, you are able to edit the following:

  • Propagate - Propagate verifier settings from parent process to child process. Note that not all tests can be propagated. If this property is enabled (box checked), settings are propagated. Otherwise, settings are not propagated.

  • AutoClr - After specified image starts to run, the verified image will clear the settings for itself. If this property is enabled (box checked), the verified image will clear the settings. Otherwise it will not clear the settings.

  • AutoDisableStop - Verifier will only complain once for the same issue found. If Verifier finds the same issue again, it will not generate an error. If this property is enabled (box checked), Verifier will generate only one error for a given issue. Otherwise Verifier will generate an error each time the issue occurs.

  • LoggingOnLocksHeld - The dll load/unload event will be logged. Verifier is doing I/O when the loader lock is held. This can cause the application to hang. If this property is enabled (box checked), the event is logged. Otherwise, the event is not logged.

  • ExceptionOnStop � For each verifier stop, exception will be raised instead of debug break. If this property enabled (box checked), each stop reported by Verifier raises an exception. Otherwise, each stop reported by Verifier breaks into the debugger.

  • MinimumMemoryOverhead � Reduce memory overhead by disabling some of the features used just for debugging. If this property is enabled (box checked), some features are disabled to reduce memory overhead. Otherwise, features are not disabled.

    Note:
    Do not enable this property unless it is absolutely necessary to reduce memory overhead. When this property is enabled, debugging information is missing, and it is more difficult to diagnose errors.

Setting/Editing Properties for checks

The properties are associated to the checks, so please refer to those topics for detailed field information. To edit the properties you can take one of two approaches:

  1. Individually - Within the property window, double click the property you wish to edit. This will display a dialog that will allow you to edit the item as well as set it back to the default. Change the entry and click OK.

  2. Group - From the Test area, click the test or verification layer you need to edit. Use your right click options to display a screen of all the properties. Change the properties or reset back to the default and click OK.