Dna

Dna Dna 是一个基于 LLVM 构建的静态二进制分析框架。值得注意的是，它几乎完全用 C 编写，包括 LLVM、Remill 和 Souper 的托管绑定。 功能 Dna 实现了一种迭代控制流图重建，其灵感主要来自 SATURN 论文。它迭代地应用递归下降、提升（使用 remill）和路径求解，直到恢复完整的控制流图。对于跳转表，我们使用基于 Souper 和 z3 的递归算法来求解可能的跳转表目标集合。迭代探索算法可在此处找到，跳转表求解算法可在此处找到。 一旦控制流图被完全探索，就可以使用此处和此处的算法将其重新编译为 x86 并重新插入到二进制文件中。尽管编译后的代码 绝不...