REIL code only. :-(
With no free/open-source x86-->REIL translator, this is not as exciting as I was hoping it is.
Good luck with it though. Am a bit disappointed as I can't test it right away.
With no free/open-source x86-->REIL translator, this is not as exciting as I was hoping it is.
Good luck with it though. Am a bit disappointed as I can't test it right away.
Another option is to adapt the open source (r)reil translator[1]
[1] https://bitbucket.org/mb0/gdsl/src/94d607a5f058/specificatio...