Windows下C-C++程序的靜態(tài)分析技術(shù).pdf

1、近年來(lái)，軟件逆向分析由于其在軟件領(lǐng)域的獨(dú)特作用而受到日益廣泛的重視，眾所周知，Windows系統(tǒng)具有龐大的軟件群和用戶群，一方面Windows下系統(tǒng)和軟件安全一直備受關(guān)注，另一方面由于現(xiàn)代軟件開(kāi)發(fā)離底層開(kāi)發(fā)越走越遠(yuǎn)，如何進(jìn)一步提高程序運(yùn)行效率是亟待解決的問(wèn)題，因此本文對(duì)Windows操作系統(tǒng)下C/C++逆向分析技術(shù)進(jìn)行了研究，并取得了如下成果：
　　1.針對(duì)Windows系統(tǒng)下的C/C++程序，基于后面提出的C/C++高級(jí)語(yǔ)言語(yǔ)法

2、恢復(fù)方法，提出了一個(gè)較為系統(tǒng)的、通用的、可實(shí)踐的逆向分析模型，并對(duì)該模型中每一個(gè)高級(jí)語(yǔ)言元素都做了原理上和操作方法上的闡述，最后以實(shí)例驗(yàn)證該模型的可用性。該模型可以在一定程序上簡(jiǎn)化逆向分析中的例行操作，將分析中最耗時(shí)間也較為通用的的工作簡(jiǎn)化，從而使逆向工作者的精力主要集中在對(duì)軟件設(shè)計(jì)模式、數(shù)據(jù)結(jié)構(gòu)、算法和功能等核心部分的逆向分析上，有效提高逆向工作效率。
　　2.本文對(duì)常見(jiàn)數(shù)據(jù)類型、表達(dá)式、語(yǔ)句、函數(shù)結(jié)構(gòu)等基本的C語(yǔ)言元素進(jìn)行語(yǔ)法

3、分析和底層實(shí)現(xiàn)分析；對(duì)函數(shù)棧結(jié)構(gòu)的函數(shù)序言和函數(shù)結(jié)語(yǔ)結(jié)構(gòu)進(jìn)行剖析；根據(jù)內(nèi)存變量使用情況提出了一種識(shí)別變量生命周期的方法；基于函數(shù)棧幀原理提出了一種切實(shí)可行的函數(shù)邊界檢測(cè)方法，該方法可以準(zhǔn)確定位特定高級(jí)語(yǔ)言函數(shù)的機(jī)器碼范圍。
　　3.本文介紹了C++區(qū)別于C語(yǔ)言的高級(jí)語(yǔ)言特性和實(shí)現(xiàn)原理，并提出了切實(shí)可行的恢復(fù)方法，其中包括對(duì)new和delete操作符的實(shí)現(xiàn)原理進(jìn)行了分析；對(duì)一般類類型的對(duì)象內(nèi)存布局原理進(jìn)行總結(jié)；基于內(nèi)存對(duì)象布局理論提

4、出了一種恢復(fù)類結(jié)構(gòu)（包括成員變量和成員函數(shù)）的方法，該方法可以用于重建類和識(shí)別程序中創(chuàng)建的對(duì)象；分析了SEH實(shí)現(xiàn)機(jī)制和32/64位Windows程序異常處理結(jié)構(gòu)；基于 SEH實(shí)現(xiàn)機(jī)制、C++異常處理底層實(shí)現(xiàn)原理和RTTI設(shè)計(jì)原理提出了 Windows程序異常處理語(yǔ)句恢復(fù)方法，該方法支持32/64位Windows程序中異常處理語(yǔ)句的恢復(fù)。
　　4.最后本文通過(guò)實(shí)例演示了如何利用文中提出的逆向分析模型，借助分析工具，對(duì)Windows下