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

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

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

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

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