0 items - $0.00
Follow softwareverify on Twitter

 

C++ Bug Validator Tutorial

This document is intended to augment the information in the C++ Bug Validator Help file. If you have not read the help file we encourage you to do so. C++ Bug Validator is a powerful and complex product, reading the help manual will help you use C++ Bug Validator more efficiently.

Example Application

The example application is bvExample.exe in the bvExample folder in the installation folder.

The following tutorials are available. More tutorials will be made available in response to customer feedback.

The tutorials use the included example program bvExample. The source code and project files for this application are in the bvExample directory in the installation directory for C++ Bug Validator.

Feedback

If you would like a tutorial on how to use C++ Bug Validator to perform a given task, we will be happy to provide a tutorial, just let us know what topics you need the tutorial to cover. Send your suggestions to support@softwareverify.com.