【輸入】
調用圖，其頂端是根過程
【輸出】
每個過程每個參數的icp值
【算法步驟】
1. 將根過程加入工作表，遍歷調用圖，構建每個過程的形參集合，初始化每個形參的icp值為未知（icp格的頂元素）
2. 從工作表移出一個過程p，若工作表為空則終止
3. 遍歷p的指令序列，對每個調用點遍歷被調過程q的形參，對每個形參x，若對應的傳入實參是p的一個形參，則計算x的icp值（等于x舊值和傳入實參的icp值之交）
4. 若x的icp值比舊值小，則將q加入工作表，轉到步驟2繼續
【算法分析】
數學基礎是icp半格，高度為3，所以必定收斂（因為半格是單調偏序的，icp最多變小2次：未知->常量，常量->非常量）。步驟1復雜度取決于過程數及其參數數量，步驟2～4之外循環次數取決于調用圖的深度，內循環取決于調用點數、被調過程的參數數量。該算法是位置無關的，不能處理特定調用點的特定過程之常量傳播，另外過程的形參集合不能有交集
【應用】
可以計算出每個過程入口形參對應的常量實參集合，進而可以運用全局常數傳播使結果更精確。如果確定了一個過程的哪些參數是常量，那么可以克隆出一個副本，對副本進行優化，比如裁剪調用和起始代碼序列，使之不傳遞常數參數，再運用過程內優化
posted @
2023-09-06 23:02 春秋十二月 閱讀(69) |
評論 (0) |
編輯 收藏【輸入】控制流圖<N, E> G，回邊m—>n
【輸出】循環子圖<N, E> loop
【流程】
1. 將m、n加入loop的結點集合，及m—>n加入loop的邊集合，若m不等于n即不為自環，則加入m到queue（先進先出隊列）
2. 若queue非空，則其從頭出隊得結點q；否則結束
3. 在G中遍歷q的每一個前驅結點p，將p加入queue尾，若p不在loop結點集合中，則加入到loop結點集合，及邊p—>q加入loop的邊集合。轉到步驟2繼續
【分析】
正確性：檢驗最終loop中的結點集合是否滿足自然循環的定義，注意到輸入指定了回邊，這說明n是m的支配結點，當為自環時只有一個結點而滿足支配自反性，當不為自環時，加入的結點是m的所有直接與間接前驅，所以n也是它們的支配結點（假設不是，則必有m的一個前驅p，從入口結點經過p到m但不經過n，這與n是m的支配結點矛盾），且回邊已在第1步加入loop，故滿足了自然循環的定義。由于m在loop中的前驅數量是有限的，因此算法必然終止
復雜度：第3步判斷p是否在loop結點集合中，取決于圖的具體結構，設n為循環子圖的結點數，若是鄰接矩陣，則只需O(1)時間檢測邊是否存在，因此總耗時為O(n)。若為鄰接表，檢測邊是否存在與結點數成正比，則總耗時為O(n^2)
其它算法：從m開始，標記n為visited，在G的反向流圖中深度優先搜索，將訪問到的結點及邊加入loop，遇到n就回溯
posted @
2023-09-06 22:59 春秋十二月 閱讀(61) |
評論 (0) |
編輯 收藏【命題1】控制流圖G中若a dom n，且b dom n，則a dom b 或b dom a
【證明】設G入口為s，假設結論不成立，即a 不dom b且b 不dom a，或a dom b且b dom a。根據支配結點定義，如果是前者，則從s有全部路徑經a（或b）到n但不經過b（或a），這與題設b（或a）dom n矛盾；如果是后者，則從s有全部路徑經a，然后經b，再經a，構成了無限循環a->b->a->•••，永遠到不了n，這也與題設矛盾。故結論成立
【命題2】控制流圖G中若m idom n，則m是唯一的，若d ≠ n 且d dom n ，則d dom m
【證明】設G入口為s，假設不唯一，G中有另一個結點m'且m' idom n，根據支配結點定義，從s經m到n的路徑上必有m' dom m，從s經m'到n的路徑上必有m dom m'，根據支配關系的反對稱性，有m'=m，故唯一。假設d 不dom m，則從s到m的路徑上不必然經過d，又m是n的唯一直接支配結點，則從s到n的路徑上不必然經過d，即d 不dom n，這與題設矛盾，故d dom m?？梢钥吹接梅醋C法證明后一個結論時，直接支配結點的唯一性很關鍵
posted @
2023-09-06 22:57 春秋十二月 閱讀(467) |
評論 (0) |
編輯 收藏1. 迭代算法在什么情況下是正確的
數據流值滿足半格的定義，以及數據流方程中的傳遞函數滿足單調性
2. 迭代算法在什么情況下必定收斂
在滿足正確性的前提下，當數據流值對應的半格高度有限時，必定收斂。以最小元為初值的迭代收斂于最小不動點，以最大元為初值的迭代收斂于最大不動點
3. IDEAL、MOP、MFP三種解的意義與關系
IDEAL是理想解即最精確的解，它將程序入口entry到某點p所有可達路徑（可執行路徑）的尾端的數據流值做聚合操作，區分來自不同路徑的數據流值，若聚合操作是交運算，則最大下界為其值，任何大于IDEAL的解都是錯誤的，而小于IDEAL的解是保守的；若聚合操作是并運算，則最小上界為其值，任何小于IDEAL的解都是錯誤的，而大于IDEAL的解是保守的。MOP是全路徑聚合解，它將entry到p所有流圖路徑（不一定可執行）的尾端的數據流值做聚合操作，區分來自不同路徑的數據流值，若包含了不可執行路徑，則會丟失精確性，否則等于IDEAL；MFP是基于數據流方程與迭代算法求得的最大或最小不動點解，它在每個控制流圖的匯合節點做聚合操作而非路徑尾端，不區分來自不同路徑的數據流值，若傳遞函數不滿足分配律，則會丟失精確性，否則等于MOP。故精確性關系為MFP<=MOP<=IDEAL，可知MFP解是安全的，基于MFP作的優化是正確的
4. 為什么不采用IDEAL和MOP解
因為一般程序路徑數可能無限，所以沒有求MOP的有效算法，且不可達路徑是一個不可判定問題，所以沒有求IDEAL的有效算法
posted @
2023-09-06 22:53 春秋十二月 閱讀(87) |
評論 (0) |
編輯 收藏為什么要加寬算子？
因為當格的偏序集合L不滿足升鏈條件，從最小元迭代計算最小不動點的過程是不收斂的，即迭代序列(fⁿ(⊥))ₙ不保證最終穩定，且其最小上界不保證等于最小不動點，因此需要一種近似lfp(f)的方法。引入加寬算子fw:L×L—>L, fw(x)=x▽f(x)，可以將L上的一個序列轉為收斂的升鏈，從L的最小元開始迭代不斷上升，直至lfp(f)的一個上近似即fw的最小不動點lfp(fw)，關系式為lfp(f)<=f(lfp(fw))<=fw(lfp(fw))=lfp(fw)。對上式反復應用f單調得到：lfp(f)<=fⁿ⁺¹(lfp(fw))<=fⁿ(lfp(fw))<=…<=f(lfp(fw))<=lfp(fw)，這表明對lfp(fw)使用f迭代可獲得更精確的上近似，其過程可看成沿一個遞降鏈進一步逼近lfp(f)，但L不一定滿足降鏈條件而導致上述過程不收斂，故需要引入變窄算子fn:L×L—>L, fn(x)=x△f(x)，將L的一個序列轉為收斂的降鏈，從lfp(fw)開始迭代，不斷下降直至fn的一個不動點fp(fn)，則有關系式：lfp(f)<=fp(fn)<=lfp(fw)。注意，這里根據加寬算子的定義可知fw是單調的，但根據變窄算子的定義不確定fn是否單調，故從lfp(fw)迭代求得的fp(fn)，不確定是最小還是最大不動點，只能說是一個不動點，這也反映了變窄算子不需要滿足單調性，就可以更加逼近lfp(f)
posted @
2023-09-06 22:45 春秋十二月 閱讀(109) |
評論 (0) |
編輯 收藏【性質】
1. 判定兩個完全格L和M能否構成伽羅瓦連接，即抽象化函數α: L—>M是否完全加性的，或具體化函數γ: M—>L是否完全乘性的
2. 構造抽象化函數和具體化函數，即對于一個Galois連接（L, α, γ, M），給定α可通過γ(m) = ⊔{l | α(l) ⊑ m}確定γ，這對于所有m成立，且由于α是確定的，因此γ是唯一確定的。取最小上界是為了保證m描述的L中元素對于所有安全地描述了M中α(l)的l是安全的；給定γ可通過 α(l) = ⊓ {m | l ⊑ γ(m) } 確定α，其唯一性和取最大下界的原因類似前面
3. 幫助定義分析具體格源值到抽象格屬性的正確性關系與表示函數。設有Galois連接（L, α, γ, M），R: V×L —>{true, false}為正確性關系，由表示函數β:V—>L生成，定義S: V×M —>{true, false}，則有v S m ⇔ v R (γ(m)) ⇔ β(v ) ⊑ γ(m) ⇔ (α◦β)(v) ⊑ m，即S為正確性關系，由表示函數α◦β: V—>M生成
4. 抽象化上迭代多次具體化+抽象化，結果等于一次抽象化，即α◦γ◦α = α；具體化上迭代多次抽象化+具體化，結果等于一次具體化，即γ◦α◦ γ = γ。這個性質被用于基于約化算子構造的伽羅瓦插入（特殊的伽羅瓦連接：具體化為單射，抽象化為滿射）的證明
【組合】
分三大類，即順序組合、并行組合和函數空間。為簡化描述，下文簡稱Galois為G
1. 順序組合：取第一個G連接的具體格，最后一個G連接的抽象格，從第一個G連接到最后一個G連接組合各抽象化函數，從最后一個G連接到第一個G連接組合各具體化函數。例如，設（L₀, α₁, γ₁, L₁）和（L₁, α₂, γ₂, L₂）都是G連接，則（L₀, α₂◦α₁, γ₂◦γ₁, L₂）也是一個G連接
2. 并行組合：有六種方法，即獨立特征、相關性、直積、直張量積、約化積、約化張量積，前兩種用于組合分別針對不同結構多個分析的多個G連接為一個G連接。中間兩種組合針對同一結構多個分析的多個G連接為一個G連接，后兩種組合針對同一結構多個分析的多個G連接為一個G插入。獨立特征、直積、約化積與其它方法的區別是兩對抽象化函數與具體化函數之間沒有相互作用，會損失分析結果精度，本質就是P(A)×P(B)和P(A×B)的差別（P為冪集，A、B為集合）；獨立特征與直積、約化積的區別是具體化函數定義不同（抽象化函數相同），前者是兩個具體化函數的二元組即γ(m₁, m₂)=(γ₁(m₁), γ₂(m₂))，后者則是最大下界即γ(m)=γ₁(m₁)∧γ₂(m₂)
3. 函數空間：分為總函數空間和單調函數空間。對于前者，設（L, α, γ, M）為一個G連接，S為一個集合，f為S到L的函數，g為S到M的函數，因L和M為完全格，故由f或g構成的函數集合為總函數空間，則得到一個G連接（S—>L, α', γ', S—>M），其中α'(f)=α◦f, γ'(g)=γ◦g。對于后者，設（L₁, α₁, γ₁, M₁）和（L₂, α₂, γ₂, M₂）為G連接，f為L₁到L₂的函數，g為M₁到M₂的函數，因每個L及M為完全格，故由f或g構成的函數集合為單調函數空間，則得到一個G連接（L₁—>L₂, α, γ, M₁—>M₂），其中α(f)=α₂ ◦f ◦γ₁，γ(g)=γ₂◦ g◦ α₁
【應用】
當要做數據流分析的一個完全格L不滿足升鏈條件時，除了直接對L運用加寬算子及變窄算子外，還怎么去計算近似它的最小不動點？這時伽羅瓦連接就派上用場了，先將L對應到另一個完全格M，即構造一個Galois連接或插入（L, α, γ, M），設A是L上的廣義單調框架（不要求L滿足升鏈條件，指定傳遞函數集合F為L到L的單調函數空間，即F本身也是完全格），其中f是L到L的單調函數，B是M上的廣義單調框架，其中g是M到M的單調函數，保證g是由f衍生的函數的上近似即α◦f◦γ ⊑ g，及M滿足升鏈條件。到了這里可以證明兩個結論：
? lfp(f) ⊑ γ(lfp(g)) 和 α(lfp(f)) ⊑ lfp(g)
?B的約束解(B₁, B₂)蘊含A的約束解(A₁, A₂)=(γ◦B₁, γ◦B₂)，下標1、2表示流圖結點的入口、出口。接下來有兩種方法可以計算近似L的最小不動點
1. 直接計算M上的最小不動點，然后應用上述結論?，取lfp(f) = γ(lfp(g))
2. 構造M的上界算子（針對Galois連接）或加寬算子（針對Galois插入），滿足 l₁ ∇ₗ l₂ = γ(α(l₁) ∇ₘ α(l₂))，可以證明左式為L上的一個加寬算子，取其lfp∇ₗ (f)。如果前面構造的是Galois插入，那么可以證明L和M兩者的加寬算子精度是一樣的，即lfp∇ₗ (f) = γ(lfp∇ₘ(α◦f◦γ ))
posted @
2023-09-06 22:42 春秋十二月 閱讀(293) |
評論 (0) |
編輯 收藏定理：集合Z[n]由所有i=0,1,…, n-1整數組成，其中滿足gcd(i,n)=1的元素與乘法模n操作形成了交換群G，且單位元為e=1。
證明：設a、b屬于G，有gcd(a,n)=1，gcd(b,n)=1，則gcd(a*b,n)=gcd(b,n)=1，即(a*b) mod n封閉，顯然單位元為1；根據擴展歐幾里德算法得a*x+n*y=1，x為a的逆元，則1=gcd(a,n)=gcd(a*x,n)=gcd(x,n)，故x也在G中
posted @
2023-09-06 22:34 春秋十二月 閱讀(304) |
評論 (0) |
編輯 收藏記輸出為[G`, G, p, q, g]，其中p為大素數，G`為模p的有限循環整數群，階為p-1；q為大素數，為G的階，G為G`的子群（模亦是p），生成元為g（G`的一個元素），另外滿足如下條件：
1. 1<q的位長<p的位長，p、q隨機選取，p同余于1 mod q，即q整除p-1，q為p-1的素因子
2. 1<g<=p-1，隨機選取，測試它的(p-1)/q次冪是否等于1 mod p，若等于則重新選取，直到不等于
3. 上面選定的g，遍歷1到q的冪模p，就得到G的各元素
數學基礎：一個有限群，對每個元素它的階整除群的階，它的群階冪次方等于單位元；一個有限循環群，它的生成元個數為群階的歐拉數，若群階是素數，則所有非1的元素都是生成元
結論：這種計算子群的方法由于保證階為素數且只要超過160位長，就可避免針對階為合數的質因子分解并利用中國剩余定理求離散對數的已知最好攻擊，具有中長期安全強度
posted @
2023-09-06 22:28 春秋十二月 閱讀(367) |
評論 (0) |
編輯 收藏定理：令K[x]是由次數小于8、系數為0或1的多項式組成的環，m(x)=x^8+x^4+x^3+x+1為不可約多項式，則K[x]/(m(x))（模m(x)剩余類環）同構于元素個數為256的有限域F
證明：
1. 構造映射H: P->Z，P表示K[x]中的多項式，Z表示小于256的非負整數，定義函數h(p)=z(mod 256)。顯然H為雙射；依初等數論同余性質有h(p1+p2)=(z1+z2)mod 256=z1(mod 256)+z2(mod 256)=h(p1)+h(p2)，h(p1*p2)=z1*z2(mod 256)=z1(mod 256)*z2(mod 256)=h(p1)*h(p2)，故H保持加法乘法封閉性。這點保證支持任意明文/密文的運算
2. 由一元多項式環的性質得多項式乘法可以交換，即f(x)•g(x)=g(x)•f(x)，滿足域的交換條件。其乘法單位元是常數項1，滿足域的單位元條件
3. 因非零多項式f(x)與m(x)互素，由一元多項式環的互素定理知存在g(x)、k(x)使得f(x)•g(x)+m(x)•k(x)=1(系數模2)，即f(x)•g(x)模m(x)余1（這里1表示單位元），故f(x)存在逆元，由群定義知逆元必唯一，滿足域的逆元條件。另aes規定零多項式的逆元為其自身。這點保證s盒及列混合操作可逆
posted @
2023-09-06 22:22 春秋十二月 閱讀(1477) |
評論 (0) |
編輯 收藏posted @
2021-12-13 15:21 春秋十二月 閱讀(685) |
評論 (0) |
編輯 收藏