Software Tools for C++ and .Net

Software Verify provide software engineering tools for memory leak detection, code coverage, performance profiling, thread lock contention analysis and thread deadlock detection, flow tracing and application replay on Windows 10, Windows 8, Windows 7, Windows Vista, Windows 2003 and Windows XP 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.

Software tools for C, C#, C++, Visual Basic 6, VB.Net, Delphi, Fortran 95

Flow Tracing

Track the execution of your application as it runs.

Code Coverage

View your code coverage in real-time.

Memory Profiling

Monitor billions of memory allocations with ease.

Performance Profiling

Find the slow parts of your software quickly and easily.

Deadlock Detection

Analyse, identify, fix threading problems.

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.

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!