x86, ARM, MIPS, PIC32, PowerPC, but not x86-64. Impressive list, but an odd choice.
x86_64 have calling conventions (namingly __fastcall) which are more inconvenient to decode than x86 _cdecl or __stdcall where every arguments are passed on the stack. Most symbolic engines usually works only on x86 for the same reason.
x86, ARM, MIPS, PIC32, PowerPC, but not x86-64. Impressive list, but an odd choice.