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