Software Verify provide software engineering tools for memory leak detection, code coverage, performance profiling, thread lock contention analysis and thread deadlock detection, execution tracing on 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.
We provide software tools for traditional desktop applications, services and server applications.
Our software tools support C, C++, C#, Visual Basic 6, VB.Net, Delphi, and Fortran 95.
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.
None of these software tools require you to recompile or relink your software. Although for access to advanced additional features in some of the tools you may need to relink your software.
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 analysing memory usage and detecting memory leaks and handle leaks.
Tools for analysing threading behaviour, automatically finding locking errors 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.
Please contact us if you have any questions regarding any of our software tools.