Blog
This blog is where we help you improve your software, teach you how to use our tools to solve problems, software tool use cases, and improvements to our software tools.
64 bit C++ software tool Beta Tests are complete.
We recently closed the beta tests for the 64 bit versions of C++ Coverage Validator, C++ Memory Validator, C++ Performance Validator and C++ Thread Validator. […]
New news blog
Hi, Historically we haven’t been too great at communicating news about Software Verification to you all. Proof of the pudding is that the previous news […]
64 bit tools leaving beta this month
For those of you keeping a keen eye on the version numbers of the various C++ 64 bit betas we have will have noticed that […]
Why symbols don’t load – the DbgHelp search path
The problem One of the problems with using DbgHelp.dll to read the symbols for your Visual Studio application is that sometimes your symbols do not […]
How to compare two code coverage sessions?
Recently we’ve had a flurry of customers wanting the ability to compare the code coverage of their application. This sounded like a good idea so […]
New environment variable dialog
We recently had some feedback from customers telling us that they were dealing with legacy applications that were configured using large numbers of environment variables […]
Problems with slow shutdown, slow install
There is a problem with recent versions of our software released prior to 5 December 2012. Problem description The problem is that some people will […]
UX Improvements for Coverage Validator
We recently released new versions of the Coverage Validator tools for all languages. The main reason for this release was to make the tools more […]
“cannot open type library file” error on x64 systems
I’ve just tried building a Visual Studio 2010 helper DLL on Windows 7 x64. The build failed with “cannot open type library file vsmso.olb : […]
x64 Porting gotcha #3. Serializing collections
When Microsoft ported MFC to 64 bits they also changed the return type for the GetSize() and GetCount() methods in the collection classes. They changed […]