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.
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 […]
Communication
Are you any good at communication? Thats a good question. If you’re like me, you probably think you are not good at communication. You may […]
64 bit porting gotcha #2! x64 Register preservation
In a previous article on x64 development I mentioned the problem of aligning the callstack on 16 byte boundaries and what happens if you do […]
Unhandled non-continuable exception. What?
The Problem A few days ago I was testing the latest version of C++ Memory Validator x64. The testing was going fine until I tried […]
Improving your code with Static Analysis tools
Update, October 2012. I’ve edited this to include more tools, prices and our experience with each vendor we’ve interacted with. At Software Verification we create […]