Free Software Tools
The following software tools complement our commercial tools and are available for free download.
We wrote these tools to allow us to build Coverage Validator, Memory Validator, Performance Validator and Thread Validator.
After a while started using these tools to debug customer problems as well as internal problems.
It’s a logical next step to make these tools available to a wider audience. If these tools help solve a problem for you, that’s great.
No nagware
All of these tools are free (Except Bug Validator). Download them, they’ll run forever, with no licence key, no nagware, no bloatware, and no trial licence. Want to know why they are free?
Bug Validator won’t run forever, as it’s perpetually in a state of experimentation, and is updated periodically, via email notifications.
If you have any ideas for other free tools, please contact support@softwareverify.com to let us know.
Tools by activity
We’ve organised the tools by related tasks.
Some tools fall into more than one group, so you may see them repeated on this page, once for each group they are in.
Automated Build
Tools that can be run from the GUI or the command line that can automate your builds.
Automated Testing
Tools that can be run from the GUI or the command line, and that can be dropped into your smoke tests, regression tests, continuous integration tests.
Memory Usage Analysis
Tools for analysing memory usage and page faults.
Thread Analysis
Tools for analysing threading behaviour, automatically finding locking errors and for analysing your source code for common thread locking mistakes.
Execution Tracing
Tools for showing the "How did I get there from here?". A black box recorder for your software.
Debug Information Inspection
Tools to allow you to inspect the debug information for your software
Minidump Tools
Tools for creating, inspecting and visualising minidumps and event logs.
Visual Studio Tools
Tools for automating Visual Studio. Tools for fixing problems with Visual Studio projects.
Mistake Detection
Tools for detecting mistakes that tired and busy software engineers make.Automated Build
Tools that can be run from the GUI or the command line, that can find and fix problems with your Visual Studio projects and automate your builds.
Automated Testing
Tools that can be run from the GUI or the command line, and that can be dropped into your smoke tests, regression tests, continuous integration tests. Catch and prevent bugs before they enter production!
Memory Usage Analysis
Tools for analysing memory usage and page faults.
Thread Monitoring
Tools for analysing threading behaviour, automatically finding locking errors and for analysing your source code for common thread locking mistakes.
Execution Tracing
Tools for analysing application flow and observing anomalous behaviour.
Debug Information Tools
Tools for analysing debugging information.
Dbghelp Browser
Examine and query PDB symbols (Visual Studio).
DWARF Browser
Examine and query DWARF symbols (C++ Builder, MingGW, gcc, g++, LLVM, QtCreator, Rust).
TDS Browser
Examine and query TDS symbols (Delphi and C++ Builder).
Map File Browser
Examine and query MAP files.
PE File Browser
Analyse executable files.Minidump Tools
Tools for creating, inspecting and visualising minidumps and event logs.
Event Log Crash Browser
Easily identify crashes in the Windows event log.
Exception Tracer
Event driven minidump creation.
Minidump Browser
Inspect minidump contents.
Minidump Manager
Manage collections of minidumps.
Virtual Memory Viewer
Understand virtual memory layout of running applications and minidumps.Visual Studio Tools
Tools for automating Visual Studio. Tools for fixing problems with Visual Studio projects.
Mistake Detection Tools
Tools for identifying mistakes made by tired software engineers.
Python Tools
Legacy Python tools for code coverage, memory leak detection, and performance profiling.
