Questions tagged [reil]

BinDiff/BinNavi's intermediate language, used to diff binary code between different architectures

Filter by
Sorted by
Tagged with
10
votes
5answers
4k views

Lifting up binaries of any arch into an intermediate language for static analysis

Background As the title is self-explanatory, I would like to translate binaries of any architecture (e.g. x86, ARM, ARM Thumb) to an intermediate language in order to apply arch-independent static ...
8
votes
2answers
269 views

REIL Implementations and Adoption?

Apart from BinNavi (A commercial product from the creators of REIL), I am only aware of one project using REIL, which implements a tiny handful (mov/add/sub/inc/jmp) of the translators to convert x86 ...