9

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

QAZ
  • 2,571
  • 22
  • 22

2 Answers2

5

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

Rolf Rolles
  • 9,198
  • 1
  • 23
  • 33
1

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

wishi
  • 127
  • 2