0

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

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

4

1 回答 1

0

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

于 2018-02-09T19:42:56.173 回答