0 items - $0.00
Follow softwareverify on Twitter


.Net Memory Validator Tutorial

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

The example application is a C# application. However all the concepts and all dialogs and controls shown in the tutorial apply equally well to VB.Net, J#, F#, C++.Net and any other language running on the .Net CLR.

This tutorial describes how to use .Net Memory Validator to perform memory leak detection in a .Net application.

.Net is a garbage collected language. Memory leaks happen using garbage collected languages when references to objects that are no longer required are not released. The failure to release the reference prevents the garbage collector from correctly identifying the memory as garbage and thus prevents the memory from being collected.

This tutorial will show you how to use .Net Memory Validator to detect and analyse memory leaks in your .Net application using the supplied dnmvExample.exe application to demonstrate a typical memory leak and the various facilities .Net Memory Validator provides you to aid you in the task of identifying and analysing a memory leak.

The tutorial is split into several sections:

If you would like a tutorial on how to use .Net Memory 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.