List of interesting IRs

• LLVM Language Reference Manual
• ESIL
• Valgrind's VEX
  • No documentation?
  • VEX source code
  • PyVEX
• BitBlaze's Vine
• ERESI's LIR
  • Julio Auto's undergraduate project on LIR
  • Binary to LIR source code
• BinNavi's REIL
• BAP's BIL
  • Chapter 3 in BAP Handbook