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 opti

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/specifications/x86?at=default https://bitbucket.org/mb0/gdsl/src/94d607a5f058/specificatio...