1、隨著微時代的到來，嵌入式軟件發(fā)展受到廣泛的關(guān)注，但軟件缺陷問題也越來越凸顯。軟件缺陷問題可能會給社會帶來經(jīng)濟等各方面的損失，而且大部分的嵌入式軟件都有高可靠性和高安全性的要求，因此，需要針對嵌入式軟件進(jìn)行缺陷檢測。目前，市場上的大部分商業(yè)軟件以二進(jìn)制代碼的形式出現(xiàn)，如何判定二進(jìn)制程序中是否具有安全缺陷是一個亟待解決的問題。當(dāng)前X86平臺下的二進(jìn)制代碼缺陷檢測系統(tǒng)相對成熟，而基于嵌入式平臺（如ARM平臺）缺陷檢測系統(tǒng)還不夠成熟。反匯編技術(shù)

2、是基于二進(jìn)制代碼的嵌入式軟件缺陷檢測工作中的重要一環(huán)，但專門針對嵌入式軟件缺陷檢測的反匯編算法和相關(guān)技術(shù)較少。另一方面，與動態(tài)分析相比，靜態(tài)分析能夠較全面的覆蓋系統(tǒng)代碼，為動態(tài)分析提供相應(yīng)的程序結(jié)構(gòu)，減少了一定的工作量。
　　本文利用反匯編技術(shù)，開展了基于二進(jìn)制代碼的嵌入式軟件缺陷靜態(tài)檢測研究，主要研究點和創(chuàng)新點在于：
　　1、總結(jié)分析了嵌入式軟件缺陷檢測方法，對現(xiàn)有的缺陷檢測流程進(jìn)行分析總結(jié)，分析了ARM的編碼特點，詳細(xì)闡

3、述了嵌入式軟件缺陷靜態(tài)檢測方法，包括反匯編、數(shù)據(jù)流分析、控制流分析等。
　　2、設(shè)計了一個基于二進(jìn)制代碼的嵌入式軟件缺陷檢測系統(tǒng)。定義和設(shè)計了系統(tǒng)的功能模塊，闡述了各個模塊在該系統(tǒng)的作用和相互之間的聯(lián)系，根據(jù)模塊之間的聯(lián)系提出了該系統(tǒng)的體系結(jié)構(gòu)。
　　3、針對缺陷檢測需要解決的主要問題，設(shè)計了反匯編實現(xiàn)的總體方案，實現(xiàn)了靜態(tài)指令分析模塊中的反匯編過程。提出了一種遞歸—線性掃描的反匯編算法，然后，通過實驗驗證了算法的正確性和結(jié)