计算机专业读书笔记

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

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

《程序分析方法》 by 刘磊

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值