程序分析方法

内容概要

刘磊吉林大学教授，现任吉林大学第一届教学委员会委员、信息学部学术委员会副主任委员和计算机科学与技术学院学术委员会主任委员。兼任吉林省高等学校软件新技术重点实验室(吉林大学)主任。主要研究领域为程序设计语言及其实现技术、软件安全与云计算、语义网与本体工程等，主要在程序分析技术、程序理论、编译技术、程序转换技术、语义网等方面，进行了不断的探索和潜心研究，取得了一系列有价值的研究成果。

书籍目录

前言第1章 程序设计语言1．1 程序设计语言发展的四个阶段l．1．1 机器语言l．1．2 汇编语言1．1．3 高级语言1．1．4 第四代语言1．2 程序设计语言的发展趋势小结第2章 元程序设计2．1 元程序介绍2．2 元程序设计系统2．2．1 元程序系统的组成2．2．2 中间表示2．2．3 规则分类和对应的结构2．2．4 元级操作2．2．5 系统的生成2．3 元级系统的实际应用2．3．1 如何构造高效的系统2．3．2 几个元级系统的介绍小结第3章 信息流分析3．1 控制流分析3．1．1 控制流分析实例3．1．2 控制流分析方法3．1．3 程序的结构化转换3．2 数据流分析技术3．2．1 数据流方程定义和活跃变量分析3．2．2 数据流异常的检测3．2．3 常量表达式节省3．2．4 公共子表达式节省3．3 信息流分析技术的应用实例3．3．1 方法描述3．3．2 应用小结第4章 别名分析4．1 指针别名4．1．l指针别名的产生4．1．2 别名信息的分类4．2 别名信息的表示4．2．1 别名信息的表示介绍4．2．2 别名计算4．3 c语言的别名计算4．3．1 c语言的别名采集器4．3．2 C语言的别名传播器4．4 Java的别名分析4．4．1 Java中的别名问题4．4．2 别名分析算法小结第5章 程序分片5．1 程序分片的基础知识5．1．1 程序分片的基本概念5．1．2 一些常见的程序分片方法5．1．3 程序分片的应用5．2 程序分片方法5．2．1 基于数据流方程求解的过程内分片5．2．2 基于数据流方程求解的过程间分片5．2．3 基于程序依赖图的过程内分片5．2．4 基于系统依赖图的过程间分片5．2．5 动态分片5．2．6 条件分片小结第6章 形式概念分析6．1 FcA和格理论基础介绍6．l．1 偏序集及完全格的基泰概念6．1．2 Galois连接6．2 FcA的基本概念6．2．1 上下文6．2 2概念6．2．3 概念格6．2．4 多值上下文6．2．5 概念格的生成算法6．2．6 生成概念格的工具6．3 概念格在程序分析中的应用6．3．1 概述6．3．2 从源程序中推导配置结构6．3．3 从遗留软件中提取类或模块6．3．4 重构类结构6．3．5 动态分析小结第7章 部分求值技术7．1 部分求值技术基本原理7．1．1 Kleene的smn理论7．1．2 部分求值器的定叉7．2 几种部分求值技术的介绍7．2．1 静态部分求值方法7．2．2 动态部分求值技术7．2．3 动静态结合的部分求值技术7．3 Futanura投影定理7．3．1 第一投影定理7．3．2 编译器的生成与第二投影定理7．3．3 第三投影定理7．4 程序点例化技术7．4．1 状态、程序点和分割7．4．2 程序点例化7．4．3 不同语句的代码生成7．4．4 转换压缩7．4．5 正确的分割技巧7．4．6 简单绑定时间分析小结参考文献

编辑推荐

《程序分析方法》(作者张晶、赵健、张鹏)作者多年来一直为吉林大学计算机专业、软件工程专业的研究生讲授程序分析的课程，因内容广泛、方法实用，该课程深受学生欢迎。遗憾的是，这门课程一直缺少相应的教材，国内这方面的参考书也非常少。鉴于此，本书作者根据自己多年的教学和科研经验，在以往研究生授课讲义的基础上编写了此书。本书旨在向读者介绍程序分析的各种方法、技巧。

作者简介

本书共7章，第1章介绍程序设计语言的历史以及未来的发展趋势；第2章介绍元程序设计，包括元程序的概述、元程序系统及其应用；第3章介绍信息流分析技术；第4章介绍别名分析的相关知识；第5章介绍程序分片的基础知识和方法；第6章介绍形式概念分析的相关知识和应用；第7章介绍部分求值技术的相关内容。



本书可作为计算机相关专业本科高年级学生及研究生教材，也可作为程序开发人员的参考用书。

---

 程序分析方法下载

---