search

SoftSec-KAIST / MeanDiff

Testing Intermediate Representations for Binary Analysis (ASE '17)
https://softsec-kaist.github.io/MeanDiff/
MIT License
79 stars 11 forks source link

Test Remill semantics #27

Open pgoodman opened 7 years ago

pgoodman commented 7 years ago

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 commented 7 years ago

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.