Software Tools
Software Verify provides software engineering tools for memory leak detection, code coverage, performance profiling, thread lock contention analysis and thread deadlock detection, and execution tracing.
We provide software tools for traditional desktop applications, services, IIS and server applications.
Platforms, languages, compilers / IDEs
Supported platforms are Windows 11, Windows 10, Windows 8, Windows 7, Windows Vista, Windows XP and all equivalent Windows Server platforms. (Windows 2000 and Windows NT are supported, but with a special build, available on request.) Windows Embedded is also supported.
Our software tools support C, C++, C#, Visual Basic 6, VB.Net, Delphi, Fortran 95, .Net and .Net Core.
Whether you use Microsoft Visual Studio, Embarcadero’s C++ Builder or Delphi, Qt Creator, Intel Performance Compiler, or open-source compilers like MinGW, we have tools that work with your compiler and linker.
API
None of these software tools require you to recompile or relink your software.
For access to advanced additional features in some of the tools, you may need to use our API.
Bug Validator
Track the execution of your application as it runs.
Coverage Validator
Code coverage for desktop applications, services and webserver.
Memory Validator
Native and .Net memory leak, GDI leak and handle leak detection. Monitor billions of allocations with ease.
Performance Validator
Performance profiling for desktop applications, services and web servers.
Thread Validator
Busy lock, slow lock, deadlock detection and analysis for desktop applications, services and web servers.
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!
Coverage Validator
Automated code coverage detection.Memory Validator
Automated memory leak, GDI leak and handle leak detection.Thread Validator
Automated thread analysis and deadlock detection.
Thread Lock Checker
Automated thread lock checking.
OutputDebugString Checker
Automated debug string testing.
DebugBreak Checker
Automated __debugbreak() testing.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.
Code Coverage
Tools for collecting code coverage, merging code coverage results and comparing code coverage results.
Memory Leak Detection and Analysis
Tools for analysing memory usage and detecting memory leaks and handle leaks.
Performance Profiling
Performance Validator
Performance profiling for desktop applications, services and web servers.
Thread Validator
Busy lock, slow lock, deadlock detection and analysis for desktop applications, services and web servers.
VM Validator
Monitor virtual memory and paging usage to find performance problem areas.
Page Fault Monitor
Identify parts of your code that cause high numbers of page faults.Deadlock Detection and Thread Monitoring
Tools for detecting deadlocks and locking errors, analysing threading behaviour, and for analysing your source 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 Validator
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.
Please contact us if you have any questions regarding any of our software tools.