IDA PRO 2017年 插件大赛作品目录

原文连接：https://hex-rays.com/contests/2017/index.shtml

1.BinCAT --一等奖获得者

BinCAT是：

...静态二进制代码分析工具包，旨在通过IDA直接帮助逆向工程师。 它具有以下功能：

 1.值分析（寄存器和内存）

 2.推测分析

 3.结构体重建和扩展

 4.后退和前向分析

IDA团队评价：

这是一个复杂而有用的插件。它采用抽象解释来追踪寄存器和内存值。它也可以对它们进行污点分析。解释器用OCaml编写，并编译成二进制形式。作为OCaml部件和IDA之间的接口工作的插件本身是用Python编写的。
解释器解析输入文件，并具有理解ARM和x86指令的语义的逻辑。它将指令转换为用于分析的中间语言。有很多代码（总的来说，这个插件约有25个KLOC），这本身就令人印象深刻。
开始使用插件很容易：它带有一个简短明了的教程。我们使用提供的玩具示例和其他一些测试文件尝试了BinCAT。它可以很好地处理大多数情况，但有时可能会拒绝运行。
价值分析可以很好地追踪个人价值;在某些情况下，循环可以展开。污点分析可以非常好地跟踪污染值，它会逐个跟踪每个值。
用户界面在某些情况下可能会造成混淆，特别是在开始时。

整体BinCAT是非常有前途和有趣的插件。我们希望它能在未来发展！

2.Drop --去话指令的插件

...一个实验性的IDA