Нет проблем декомпилировать 32-битные kext'ы, используя декомпилятор hexrays .
Декомпиляция кода C ++ означает, что вы должны правильно определить свои структуры: когда у объекта есть виртуальные методы, первым элементом в объекте будет указатель на vtable объекта.
если вы также объявите vtable в IDA или hexrays и убедитесь, что все типы указателей на функции верны, hexrays создаст вполне читаемый код.
Но есть вероятность, что интересующие вас части kext были написаны на C-подобном C ++, и вам вообще не нужно об этом беспокоиться.