Можно использовать
Google Breakpad, который работает на Windows, Linux и OS X.
Скажем так, это общепринятый формат дампов, которым пользуются многие разработчики, те же Chrome и Firefox.
Поэтому не важно на какой платформе вы будете использовать инструменты разработчика для чтения MiniDump.