CMU uses Prolog to detect class/object data in dissassembled sepples

https://github.com/cmu-sei/pharos

meanwhile. C*dder still didn't make her's is decompiler

>>7
Buying software with source code will put you in that position. I.e. instead of locked iPhone buy Android device that is rooted from start.