debug_new
Memory leak detector for C++ programs, part of the Nvwa library
DynamoRIO
Runtime code manipulation system for building dynamic analysis tools
Fiddler
Web debugging proxy for capturing and inspecting HTTP(S) traffic
GlowCode
Performance and memory profiler for Windows and .NET
Java Pathfinder
Model checker and execution environment for verifying Java bytecode
Jtest
Java unit testing and static analysis tool