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