[p4r4n0id]

Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)

https://github.com/Cr4sh/openreil

p4r4n0id

[Cr4sh]

Anyone who interested in OpenREIL also should check this blog post as well: Automated algebraic cryptanalysis with OpenREIL and Z3, it shows that it's relatively easy to use my lib for implementing advanced code analysis primitives like symbolic execution and SMT constrains generation.

[xenoglyph]

very nice, was reading up on MergePoint & Mayhem tonight, and I'm taking a look at Z3/Pin/etc. right now

It seems like there's a few competing IL formats around...but OpenREIL looks good, certainly easier on the eyes than BIL