Searching in tools/drmemory/scripts