Test Remill semantics

[pgoodman]

Description

Remill is a library that lifts x86, amd64 (x87, mmx, sse, avx), and aarch64 instructions to LLVM IR. I can provide some assistance if you're interested.

[mfaerevaag]

Adding the Remill library to our corpus of target lifters is certainly something we are interested in. Sadly, the reason for us not already having done this is the substantial effort it takes for creating the translator from LLVM to UIR (the unified IR used in MeanDiff). Unfortunately we haven't had the time.

Given a translator, it is a small job to integrate it in system.

That being said, we are in the process of open sourcing the whole system. This means we will be accepting pull request and much appreciate all contributions! We would of course assist as best possible during the process of making a translator.