Skip to main content

Questions tagged [reil]

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

Filter by
Sorted by
Tagged with
10 votes
5 answers

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 ...
9 votes
2 answers

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 ...