We want to replace REIL with BAP. REIL was a good starting point, since instructions are very easy to parse and understand, but BAP is the future.

Another option is to adapt the open source (r)reil translator[1]

[1] https://bitbucket.org/mb0/gdsl/src/94d607a5f058/specificatio...