如何为不可执行的二进制文件生成CFG

Question

我想为非可执行二进制文件生成控制流图。目标是对生成的Linux内核二进制文件执行静态分析。有没有可以做到这一点的工具？我通过搜索找到的工具仅用于可执行文件。

我使用obj-dump将二进制文件反汇编为程序集。目前，我对汇编基本块进行了分析，但在这种方法中，我无法保证是否涵盖了所有执行路径。

Answer 1

GrammaTech CodeSonar可以提供二进制文件或单个目标文件的静态分析：https://www.grammatech.com/products/binary-analysis。这是一个商业工具。