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

>>6
in my country, it is explicitly legal to RE software for porting/interoperability.

also, advocacy makes sense only if your're are in a position to negotiate. better RE tools put you in that position.