第3章控制流分析(參考版)
2024-10-15 13:42本頁(yè)面
【正文】 S2, ?? ? ?S2, ??? 第 3章 控制流分析 ? 規(guī)范 ?s和 ?的區(qū)別 – ?s和 ?的區(qū)別主要在子句 [fn]、 [fun]和 [app]上 – ? 的這些子句體現(xiàn)為跟蹤運(yùn)行情況的 0CFA分析 :某個(gè)函數(shù)不被執(zhí)行，則其體中信息不被收集 因遞歸函數(shù)會(huì)引起檢查過(guò)程不終止，導(dǎo)致討論余歸納和最大不動(dòng)點(diǎn) – ?s 是一種語(yǔ)法制導(dǎo)的 0CFA分析，它從程序中所有函數(shù)獲取信息，而不管運(yùn)行時(shí)函數(shù)是否真正被 執(zhí)行，因此它是 ?所獲信息的一種近似 – 對(duì)于 e : ((fn x = x) (fn y = let z = fn … in …)) (C, ?) ? e中的 ?無(wú)需 z 的信息 第 3章 控制流分析 ? 約束求解（對(duì)照 P68的算法） Step 1 初始化 – 所有的 C(l)和 r(x)都是圖的結(jié)點(diǎn) q – D[q]表示 q的值 (函數(shù)集合 )，初值是空集 – E[q]表示 q和其它結(jié)點(diǎn)的聯(lián)系，初值是空鏈表 Step 2 構(gòu)造圖（ 對(duì)照 P69的表和 P70的初值 ） – {t} ? p： 出現(xiàn)在函數(shù)定義規(guī)則中， t應(yīng)該在 p所表示的函數(shù)集合中 – p1 ? p2：出現(xiàn)在變量、條件表達(dá)式和 let子句等規(guī)則中，記錄于 E[p1]，因 p1變化則 p2也可能變化 第 3章 控制流分析 ? 約束求解（對(duì)照 P68的算法） Step 2 構(gòu)造圖 – {t} ? p ? p1 ? p2：出現(xiàn)在函數(shù)應(yīng)用規(guī)則中，記錄于 E[p1]和 E[p]，因 p1和 p變化則 p2也可能變化 Step 3 迭代（ 對(duì)照 P70的表 ） – p1 ? p2： D[p1]并入 D[p2]中，若 ?(D[p1] ?
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1