From 11eaf5a2f9da9ce1729cbec4124397af98a24163 Mon Sep 17 00:00:00 2001 From: 1ambd4 Date: Wed, 20 Mar 2024 14:26:36 +0800 Subject: [PATCH] fix(ch1/DFA-FD.md): typo --- ch1/56DataFlowAnalysisFoundation.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ch1/56DataFlowAnalysisFoundation.md b/ch1/56DataFlowAnalysisFoundation.md index b3c9d1f..721fba8 100644 --- a/ch1/56DataFlowAnalysisFoundation.md +++ b/ch1/56DataFlowAnalysisFoundation.md @@ -203,7 +203,7 @@ FIxed Point Theorem 不动点定理：给定一个全格$(L,\sqsubseteq)$，如 例如，对于到达定值分析，下界代表没有任何可到达的定值，上界代表所有定值都可到达。 -下界代表 unsafe 的情形，即我们认为无到达定值，可对相关变量的存储空间进行替换。上界代表 safe but useless 的情绪，即认为定值必然到达，但是这对我们寻找一个可替换掉的存储空间毫无意义。 +下界代表 unsafe 的情形，即我们认为无到达定值，可对相关变量的存储空间进行替换。上界代表 safe but useless 的情形，即认为定值必然到达，但是这对我们寻找一个可替换掉的存储空间毫无意义。 而因为我们采用了 join 函数，那么我们必然会从 lattice 的最小下界往上走。而越往上走，我们就会失去更多的精确值。那么，在所有不动点中我们寻找最小不动点，那么就能得到精确值最大的结果。 @@ -287,4 +287,4 @@ worklist 是迭代算法的优化。 * 知道如何用 lattice 来概述 may 和 must analysis * MOP与迭代算法结果之间的关系 * 常量传播分析 -* Worklist 算法 \ No newline at end of file +* Worklist 算法