One week ago I released my OpenREIL project - open source implementation of well known Reverse Engineering Intermediate Language (REIL). OpenREIL library has much more features than just binary to IR (intermediate representation) translation, you can check documentation to learn how to use it and what it can do. In this blog post I want to demonstrate a practical example of using OpenREIL to solve Kao's Toy Project crackme puzzle with automated algebraic cryptanalysis.
more here.........http://blog.cr4.sh/2015/03/automated-algebraic-cryptanalysis-with.html
more here.........http://blog.cr4.sh/2015/03/automated-algebraic-cryptanalysis-with.html