除了BinNavi(REIL的创造者的商业产品)之外,我仅知道一个使用REIL的项目,该项目实现了少量的翻译器(mov / add / sub / inc / jmp),将x86转换为REIL。 br />
目前还有哪些其他第三方REIL实现是公开的? (需要BinNavi或其他产生REIL输出的产品。)

#1 楼

我不确定是否支持公共工具,但是Axel Simon的研究小组已经发布了一些工作,描述了它们如何扩展REIL:http://www2.in.tum.de/bib/files/sepp11precise.pdf

#2 楼

REIL是用ANTLR实现的(据我所知)。但是我从未见过Lexer / Parser的OpenSource版本。