第2章數(shù)據(jù)流分析-資料下載頁
2025-07-20 09:15本頁面
【正文】 訪問結(jié)點(diǎn)，那么 MFPo[B4] = fB3(fB1(vENTRY) ? fB2(vENTRY)) 說明路徑上較早匯合之影響的流圖 B1 ENTRY B4 B3 B2 第 2章 數(shù)據(jù)流分析 ? 敏感性分析 – 路徑敏感分析 根據(jù)條件分支語句中的謂詞來計算不同路徑上的信息，它能夠區(qū)分控制流圖上不同路徑的信息 – 路徑不敏感分析 先前討論的都是路徑不敏感分析 – 流不敏感分析 語句的執(zhí)行次序?qū)Ψ治鰜碚f無關(guān)緊要， S1。 S2和S2。 S1的分析結(jié)果肯定一樣 – 流敏感分析 先前討論的都是流敏感分析 第 2章 數(shù)據(jù)流分析 ? 敏感性分析 – 上下文不敏感分析 組合所有調(diào)用點(diǎn)的狀態(tài)信息，對過程體僅分析一次，返回狀態(tài)集合的信息用于所有的返回點(diǎn) – 上下文敏感分析 區(qū)分帶不同上下文信息的不同調(diào)用 第 2章 數(shù)據(jù)流分析 ? 過程間分析的關(guān)注點(diǎn) – 上下文敏感分析 要注意調(diào)用和返回的匹配，注意上下文信息的傳遞 – 參數(shù)傳遞的方式 僅考慮傳值和傳結(jié)果方式 其他如傳引用，會引起別名 – 過程作為參數(shù) 在此不考慮
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1