Identifying memory leaks with automatic leak detection