计算机专业读书笔记

《程序切片技术及其应用》 by 李比信

• 该书从学术的角度，讲解程序的数据依赖、控制依赖、程序依赖图的具体含义，以及基于此构造的程序切片的具体含义。
• 控制流基本概念：基本模块(program block)、前必经节点、后必经节点、自然换、CFG可简化充  要条件。
• 数据流基本概念：变量的define-use识别、变量活性分析、
• 程序切片基本概念：对某变量能够产生影响的所有程序代码的集合。M.Weiser认为程序切片本身也是一段可执行程序。

《程序分析方法》 by 刘磊

• 该书从实用的角度，介绍了几种程序分析方法，用于对程序内部流程进行分析。我主要关注的是信息流分析和程序分片技术，即程序切片。
• 基本概念：定值、注销、向下暴露的定值、可能到达(定能达到)的定值、局部向上暴露的使用、活跃变量、注销活跃性
• 重要数据流方程：可能到达B入口和出口的定值集合、定能到达B入口和出口的定值集合。
• 该书同《程序切片技术及其应用》在信息流和程序切片部分介绍的内容一样，不同的是个别概念名称可能不一样，但介绍的是同一个东西。该书更加严谨且使用。