On 6/22/2013 4:18 PM, Geancarlo Rocha wrote: > Maybe Dr. Memory could work out well as an alternative to valgrind with this issue? > http://www.drmemory.org/ The web page indicates it is designed for looking for memory allocation bugs. That isn't the issue I'm having.