C++程式靜態分析器之設計

Abstract

第一章 前言 １．１ 物件導向程式與軟體測試 １．２ 研究動機 １．３ 章節介紹 第二章 Ｃ＋＋程式語言簡介 ２．１ Ｃ＋＋物件導向機構 ２．１．１ 類別 ２．１．２ 繼承 ２．１．３ 同名異式 ２．１．３．１ 過荷 ２．１．３．２ 動態繫結 ２．２ Ｃ＋＋程式之靜態分析 ２．２．１ 類別繼承關係 ２．２．２ 類別朋友關係 ２．２．３ 虛擬函式 第三章 Ｃ＋＋程式靜態分析器之系統架構 ３．１ 系統功能 ３．２ 系統架構 第四章 Ｃ＋＋程式靜態分析器之設計原理 ４．１ 剖析器 ４．１．１ 掃描器之設計 ４．１．２ UDT 收集器之設計 ４．１．３ 類別收集器之設計 ４．２ 類別關係產生器 ４．２．１ 繼承關係表建立器 ４．２．２ 朋友關係表建立器 ４．２．３ 繼承路徑產生器 ４．３ 錯誤分析器 ４．３．１ 隔代繼承檢查器 ４．３．２ 雙向朋友關係檢查器 ４．３．３ 繼承與朋友關係檢查器 ４．３．４ 成員名稱衝突檢查器 ４．３．５ 虛擬繼承檢查器 第五章 範例 第六章 結論