如何爲非可執行二進制文件生成CFG

我想爲不可執行二進制文件生成控制流圖。目標是對Linux內核生成的二進制文件進行靜態分析。有沒有可以做到這一點的工具？我通過搜索找到的工具僅適用於可執行文件。如何爲非可執行二進制文件生成CFG

我使用obj-dump將二進制反彙編爲程序集。目前，我對彙編基本塊進行分析，但在這種方法中，我無法保證是否覆蓋了所有的執行路徑。

2017-10-09 Dragonight

Linux內核是一個標準的ELF可執行文件，壓縮並打包到一個bzImage文件中，用於解壓縮存儲在其中的內核。您可以獲得未壓縮的「vmlinux」內核，該內核生成您嘗試分析的「vmlinuz」文件或從vmlinuz文件中提取它。 –

謝謝。但是，我想分析內核的各個文件（在編譯時創建的.o文件，例如linux/mm/mmap.o） – Dragonight

您可以使用'ld --unresolved-symbols = ignore-所有'，雖然這將解決所有外部函數到相同的地址：0. –

GrammaTech CodeSonar可以提供二進制文件或單個目標文件的靜態分析：https://www.grammatech.com/products/binary-analysis。這是一個商業工具。

2018-02-09 19:42:56 markhermeling

回答