Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language) - View it on GitHub