Software Tools for C++, 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 Server versions and Windows Embedded are supported.

We provide software tools for traditional desktop applications, services and server applications.

Languages and Compilers

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 gcc, g++, MinGW, we have tools that work with your compiler and linker.

Tools by activity

Tools are grouped by activity.

Code coverage, Memory leak detection, Performance profiling, Deadlock detection
Automated testing
Automated build
Memory analysis
Thread analysis
Flow Tracing
Debug information inspection
Minidump tools
Visual Studio tools
Mistake detection
Suites

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.

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!