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.

Please contact us if you have any questions regarding any of our software tools.

Fully functional, free for 30 days