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.
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!
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.
Tools for collecting code coverage, merging code coverage results and comparing code coverage results.
Tools for analysing memory usage and detecting memory leaks and handle leaks.
Tools for detecting deadlocks and locking errors, analysing threading behaviour, and for analysing your source for common thread locking mistakes.
Tools for analysing application flow and observing anomalous behaviour.
Tools for analysing debugging information.
Tools for creating, inspecting and visualising minidumps and event logs.
Tools for automating Visual Studio. Tools for fixing problems with Visual Studio projects.
Tools for identifying mistakes made by tired software engineers.
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.