From 6527ddb1aa3c6888d129d9f46b7583109123c060 Mon Sep 17 00:00:00 2001 From: Misaki-Wang Date: Wed, 1 Nov 2023 20:03:27 +0800 Subject: [PATCH] Update 3-Data Flow Analysis - Applications.md --- docs/Static-Analysis/3-Data Flow Analysis - Applications.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Static-Analysis/3-Data Flow Analysis - Applications.md b/docs/Static-Analysis/3-Data Flow Analysis - Applications.md index 9340094..9e1c334 100644 --- a/docs/Static-Analysis/3-Data Flow Analysis - Applications.md +++ b/docs/Static-Analysis/3-Data Flow Analysis - Applications.md @@ -58,7 +58,7 @@ B 的输出自然是其输入在经过多次转换后得到的状态。 ## Reaching Definitions Analysis 到达定值分析 -#### 基本概念（来自编译原理的课件，许畅我的英雄） +#### 基本概念 - 假定 x 有定值 d (**definition**)，如果存在一个路径，从紧随 d 的点到达某点 p，并且此路径上面没有 x 的其他定值点，则称 x 的定值 d 到达 (**reaching**) p。