已閱讀1頁，還剩79頁未讀， 繼續(xù)免費閱讀
版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)
文檔簡介
1、別名是C/C++程序的典型特征之一，通過別名分析可以提高數(shù)據(jù)流分析的準確性并且將有助于構(gòu)建性能良好的程序分析工具。本文在綜述別名分析的作用及研究現(xiàn)狀的基礎(chǔ)上，對別名信息的收集、記錄以及基于別名信息的推導進行了研究，設(shè)計并實現(xiàn)了一個以二叉決策圖為基礎(chǔ)的別名分析框架。
首先，闡述了采用二叉決策圖作為別名信息記錄方式的優(yōu)勢，并給出了二叉決策圖的構(gòu)造及操作算法，在此基礎(chǔ)上根據(jù)邏輯編程語言Datalog的基本語義，詳細設(shè)計了別名信息
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于數(shù)據(jù)流的指針別名分析.pdf
- 基于指針別名分析的高效鎖集分析工具.pdf
- 基于有序二叉決策圖的電網(wǎng)主動解列策略搜索方法研究.pdf
- 路徑敏感的跨過程別名分析的設(shè)計與實現(xiàn).pdf
- 二叉樹論文 二叉樹的應(yīng)用
- C-C++語言程序切片中的指針別名分析.pdf
- 基于二叉推薦樹的可信評估模型研究.pdf
- Java程序維護中基于別名分析的錯誤診斷技術(shù)與工具.pdf
- 《數(shù)據(jù)結(jié)構(gòu)》課程實驗報告（基于二叉鏈表的二叉樹的實現(xiàn)））
- 二叉判定圖理論研究及其應(yīng)用.pdf
- 基于二叉樹結(jié)構(gòu)的漢語韻律邊界研究.pdf
- 基于二叉樹模型的MBS產(chǎn)品定價研究.pdf
- 可靠性分析基于有序二叉判定圖法的高速機載網(wǎng)絡(luò).pdf
- 二叉樹枚舉算法的研究.pdf
- 基于二叉樹結(jié)構(gòu)的彩色圖像分割.pdf
- 基于區(qū)間數(shù)的二叉樹定價模型.pdf
- 基于有序二叉樹的多模式匹配算法的研究.pdf
- 二叉排序樹實驗
- 基于二叉樹模型亞式期權(quán)定價的研究.pdf
- 基于決策關(guān)聯(lián)的入侵分析研究.pdf
評論
0/150
提交評論