This talk sheds some light into the intermediate language that is used inside the Hex-Rays Decompiler. The microcode is simple yet powerful to represent real world programs.
By Ilfak Guilfanov
Full abstract and materials: https://www.blackhat.com/us-18/briefings/schedule/#decompiler-internals-microcode-10076
