[發明專利]一種鎖使用模式自動化靜態分析系統在審
| 申請號： | 201410624469.2 | 申請日： | 2014-11-07 |
| 公開（公告）號： | CN104484266A | 公開（公告）日： | 2015-04-01 |
| 發明（設計）人： | 王煜;戚正偉;薛墨池;項程程;管海兵 | 申請（專利權）人： | 上海交通大學 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 上海新天專利代理有限公司 31213 | 代理人： | 張寧展 |
| 地址： | 200240 *** | 國省代碼： | 上海;31 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 使用 模式 自動化 靜態 分析 系統 | ||
1.一種鎖使用模式自動化靜態分析系統，運行在LLVM分析框架上，包含中間代碼編譯器、支撐引擎以及鎖分析器，其特征在于：
所述中間代碼編譯器用于將目標程序的源代碼編譯鏈接成單文件的LLVM中間代碼；
所述支撐引擎用于根據LLVM中間代碼為鎖分析器提供支撐服務，所述支撐服務包含構造控制流圖、構造函數調用圖、構造控制依賴圖、構造數據流、指針別名分析、函數建模；
所述鎖分析器根據支撐引擎提供的支撐服務對目標程序中的每個函數單獨進行分析，收集鎖相關的程序語言特性數據，識別鎖敏感函數內所使用的每個鎖模式，并且根據常見鎖模式的特征對識別的模式進行分類，并同時統計各種常見的鎖模式出現的次數。
2.根據權利要求1所述的鎖使用模式自動化靜態分析系統，其特征在于所述中間代碼編譯器通過先過濾錯誤的編譯鏈接選項以及無效的編譯鏈接選項，然后根據編譯LLVM中間代碼需要填加編譯鏈接選項，再后根據實現全代碼編譯以及刪除會對分析結果造成影響的優化措施的需要修改編譯鏈接最終實現LLVM中間代碼的編譯。
3.根據權利要求1所述的鎖使用模式自動化靜態分析系統，其特征在于所述鎖分析器包含語言特性收集器和模式分析器；
所述語言特性收集器用于根據支撐引擎提供的支撐服務收集目標程序中與鎖相關的程序語言特性方面的數據，為模式分析器提供數據依據；
所述模式分析器用于根據語言特性收集器提供的數據，針對不同的不相交鎖集分別分析目標程序中每個鎖敏感函數中的鎖的使用模式，識別每個鎖模式并根據通過模式匹配進行分類，最后得出目標程序的鎖模式數據。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于上海交通大學，未經上海交通大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201410624469.2/1.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：一種內存回收方法和裝置
- 下一篇：一種IO設備固件的升級裝置及方法
