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

What other 3rd party REIL implementations are currently public?

Further more, are there any public works using REIL for static analysis? (Either requiring BinNavi or another product which produces REIL output).

2 Answers 2


I'm not sure about public tool support, but Axel Simon's research group has put out some work describing how they extended REIL: http://www2.in.tum.de/bib/files/sepp11precise.pdf


REIL is implemented with ANTLR (to my knowledge). However I never saw the OpenSource release of the Lexer/Parser.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.