Searching in tools/drmemory