【摘要】：現(xiàn)階段對變量的識別通常采用基于特定編譯習(xí)慣及內(nèi)存訪問地址模式匹配的方法,或基于內(nèi)存模型和抽象解釋的分析方法。前者針對性太強,不具備普適性;后者通常采用損失算法精度的方法來得到結(jié)果,這往往會造成識別變量粒度過大、漏識別和誤識別率較高。首先定義一種存儲訪問模型,對存儲操作進(jìn)行細(xì)粒度的模擬;然后給出基于存儲訪問模型的抽象狀態(tài)生成算法,實現(xiàn)了基于高級中間語言HBRIL的細(xì)粒度數(shù)據(jù)信息(抽象狀態(tài))的跟蹤和記錄;基于這些抽象狀態(tài)設(shè)計了存儲區(qū)域內(nèi)的細(xì)粒度變量實體識別算法;最后通過測試給出變量識別的細(xì)化比例和識別率。由測試結(jié)果可以看出,該算法在動態(tài)分配變量的識別率方面具有明顯優(yōu)勢。
[Abstract]:At this stage, variable identification is usually based on specific compilation habits and memory access address pattern matching, or based on memory model and abstract interpretation analysis methods. The former is too specific to be universal, and the latter usually uses the method of loss of algorithm precision to get the result, which often results in the large particle size of the identification variables and the higher rate of missing recognition and false identification. Firstly, a storage access model is defined to simulate the storage operation with fine granularity. Then an abstract state generation algorithm based on storage access model is presented to track and record fine-grained data information (abstract state) based on advanced intermediate language (HBRIL). Based on these abstract states, the fine grained variable entity recognition algorithm in the storage area is designed, and the refinement ratio and recognition rate of the variable recognition are given by testing. The test results show that the algorithm has obvious advantages in the recognition rate of dynamically allocated variables.
【作者單位】： 信息工程大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;數(shù)學(xué)工程與先進(jìn)計算國家重點實驗室;72495部隊自動化站;
【基金】：國家自然科學(xué)基金項目(61272489)資助
【分類號】：TP333

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 王雅文;宮云戰(zhàn);肖慶;楊朝紅;;基于抽象解釋的變量值范圍分析及應(yīng)用[J];電子學(xué)報;2011年02期

2 何東;尹青;謝耀賓;井靜;;反編譯中數(shù)據(jù)類型自動重構(gòu)技術(shù)研究[J];計算機(jī)科學(xué);2012年05期

3 馬金鑫;李舟軍;忽朝儉;張俊賢;郭濤;;一種重構(gòu)二進(jìn)制代碼中類型抽象的方法[J];計算機(jī)研究與發(fā)展;2013年11期

【共引文獻(xiàn)】

相關(guān)期刊論文 前5條

1 董玉坤;宮云戰(zhàn);金大海;;基于區(qū)域內(nèi)存模型的空指針引用缺陷檢測[J];電子學(xué)報;2014年09期

2 代偉;劉智;劉益和;;基于二進(jìn)制代碼的動態(tài)污點分析[J];計算機(jī)應(yīng)用研究;2014年08期

3 陳玲俠;;礦山地質(zhì)逆斷層邊緣子帶合成矢量重構(gòu)[J];控制工程;2014年05期

4 代偉;劉智;劉益和;;基于地址完整性檢查的函數(shù)指針攻擊檢測[J];計算機(jī)應(yīng)用;2015年02期

5 吳世堂;李寧;詹海潭;;基于區(qū)間向量抽象域的數(shù)值程序分析算法[J];計算機(jī)工程與設(shè)計;2015年02期

相關(guān)博士學(xué)位論文 前1條

1 邢穎;測試用例自動生成的分支限界算法及實驗研究[D];北京郵電大學(xué);2014年

相關(guān)碩士學(xué)位論文 前3條

1 姜加紅;面向浮點C程序的區(qū)間分析方法[D];國防科學(xué)技術(shù)大學(xué);2012年

2 王靖;靜態(tài)的數(shù)組分析技術(shù)研究[D];北京郵電大學(xué);2014年

3 劉文慶;基于污點傳播機(jī)制的二進(jìn)制程序漏洞挖掘方法[D];南京郵電大學(xué);2014年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王雷;李吉;李博洋;;緩沖區(qū)溢出漏洞精確檢測方法研究[J];電子學(xué)報;2008年11期

2 劉宗田;李力;;8086C逆編譯數(shù)據(jù)類型恢復(fù)技術(shù)[J];計算機(jī)研究與發(fā)展;1992年04期

3 周曉聰;;類型系統(tǒng)的λω×_≤等式理論及其語義的合理性[J];計算機(jī)研究與發(fā)展;2006年05期

4 姬孟洛;王懷民;李夢君;董威;齊治昌;;一種基于抽象解釋和通用單調(diào)數(shù)據(jù)流框架的值范圍分析方法[J];計算機(jī)研究與發(fā)展;2006年11期

5 忽朝儉;李舟軍;郭濤;時志偉;;寫污點值到污點地址漏洞模式檢測[J];計算機(jī)研究與發(fā)展;2011年08期

6 陳凱明;劉宗田;;反編譯研究現(xiàn)狀及其進(jìn)展[J];計算機(jī)科學(xué);2001年05期

7 肖海;陳平;茅兵;謝立;;基于運行時類型分析的整形漏洞二進(jìn)制檢測和定位系統(tǒng)[J];計算機(jī)科學(xué);2011年01期

8 姬孟洛;李軍;王馨;齊治昌;;一種基于抽象解釋的WCET自動分析工具[J];計算機(jī)工程;2006年14期

9 吳偉峰;趙榮彩;;反編譯中用戶函數(shù)與庫函數(shù)同名的區(qū)分技術(shù)研究[J];計算機(jī)學(xué)報;2011年04期

10 李夢君;李舟軍;陳火旺;;基于抽象解釋理論的程序驗證技術(shù)[J];軟件學(xué)報;2008年01期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 孫偉;李艷靈;周文勇;;細(xì)粒度基于傳遞功能的約束委托模型[J];信陽師范學(xué)院學(xué)報(自然科學(xué)版);2013年03期

2 夏汛;陳玲;;基于攔截器的細(xì)粒度權(quán)限設(shè)計[J];福建電腦;2012年11期

3 歐陽純萍;陽小華;雷龍艷;徐強;余穎;劉志明;;多策略中文微博細(xì)粒度情緒分析研究[J];北京大學(xué)學(xué)報(自然科學(xué)版);2014年01期

4 史大偉;袁天偉;;一種粗細(xì)粒度結(jié)合的動態(tài)污點分析方法[J];計算機(jī)工程;2014年03期

5 原子;于莉莉;劉超;;引入缺陷的細(xì)粒度軟件變更識別方法[J];北京航空航天大學(xué)學(xué)報;2014年09期

6 戢彥泓,郭常杰,鐘玉琢,孫立峰;基于細(xì)粒度可擴(kuò)展編碼的多源視頻流化方案[J];清華大學(xué)學(xué)報(自然科學(xué)版);2004年04期

7 涂登彪;譚光明;孫凝暉;;無鎖同步的細(xì)粒度并行介度中心算法[J];軟件學(xué)報;2011年05期

8 張宇軒;魏廷存;樊曉椏;張萌;;面向流體系的細(xì)粒度異步訪存調(diào)度[J];計算機(jī)應(yīng)用研究;2012年03期

9 王寬;;基于細(xì)粒度調(diào)整的同步播放控制算法[J];山西電子技術(shù);2008年05期

10 華秀麗;徐凡;王中卿;李培峰;;細(xì)粒度科技論文摘要句子分類方法[J];計算機(jī)工程;2012年14期

相關(guān)會議論文 前6條

1 葉蘊芳;楊榆;羅鑫;徐國愛;;Appfuse系統(tǒng)中細(xì)粒度權(quán)限控制的研究與實現(xiàn)[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會通信與信息技術(shù)會議論文集（上冊）[C];2008年

2 江偉玉;高能;劉澤藝;林雪燕;;一種云計算中的多重身份認(rèn)證與授權(quán)方案[A];第27次全國計算機(jī)安全學(xué)術(shù)交流會論文集[C];2012年

3 郭磊;唐玉華;周杰;董亞卓;;基于FPGA的Cholesky分解細(xì)粒度并行結(jié)構(gòu)與實現(xiàn)[A];2010年第16屆全國信息存儲技術(shù)大會（IST2010）論文集[C];2010年

4 李俊青;謝圣獻(xiàn);劉廣亮;陳晨;;P2P網(wǎng)絡(luò)基于蟻群優(yōu)化的動態(tài)細(xì)粒度訪問控制框架[A];2008年全國開放式分布與并行計算機(jī)學(xué)術(shù)會議論文集(下冊)[C];2008年

5 盛振華;吳羽;江錦華;壽黎但;陳剛;;InfoSigs:一種面向WEB對象的細(xì)粒度聚類算法[A];第26屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（A輯）[C];2009年

6 何全勝;;基于端口認(rèn)證和堆疊VLAN兩種技術(shù)在LAN接入中的應(yīng)用分析[A];2007中國科協(xié)年會——通信與信息發(fā)展高層論壇論文集[C];2007年

相關(guān)重要報紙文章 前2條

1 趙曉濤;巡展中的三大熱門[N];網(wǎng)絡(luò)世界;2007年

2 樂天邋編譯;編織一張更好的Web[N];計算機(jī)世界;2007年

相關(guān)博士學(xué)位論文 前3條

1 時杰;關(guān)系數(shù)據(jù)庫細(xì)粒度訪問控制研究[D];華中科技大學(xué);2010年

2 朱倩;面向自由文本的細(xì)粒度關(guān)系抽取的關(guān)鍵技術(shù)研究[D];江蘇大學(xué);2011年

3 余a\;基于Simulink模型的細(xì)粒度多線程技術(shù)研究[D];浙江大學(xué);2014年

相關(guān)碩士學(xué)位論文 前10條

1 張s，

本文編號：2310950