除了BinNavi（REIL创建者的商业产品），我只知道一个使用 REIL 的项目，它实现了一小部分(mov/add/sub/inc/jmp) 转换器以将 x86 转换为 REIL。

目前还有哪些其他 3rd 方 REIL 实现是公开的？

另外，有没有使用REIL进行静态分析的公共工程？（需要 BinNavi 或其他产生 REIL 输出的产品）。