Update 3-Data Flow Analysis - Applications.md

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。