前言

程序分析是以某种语言编写的程序为对象，对其内部的运作流程进行分析的过程。通过程序分析，可以帮助人们更好地理解程序内部各模块之间的调用关系，把握程序的运行流程，也可以帮助人们找出系统运行的瓶颈，指导系统优化，还可以用于系统测试和程序调试，找出系统Bug，以及进行错误定位。因此，程序分析是一种非常实用的技术，深入理解并熟练掌握程序分析相关的方法和技术，对于增强对程序设计语言的理解，掌握先进的程序设计方法，更好地分析和理解程序都有很大帮助。程序分析是计算机专业人员必备的一种技术，同时也应该成为计算机专业、软件工程专业学生（本科生、研究生）今后进行科学研究的专业必修课。

本书作者多年来一直为吉林大学计算机专业、软件工程专业的研究生讲授程序分析的课程，因内容广泛、方法实用，该课程深受学生欢迎。遗憾的是，这门课程一直缺少相应的教材，国内这方面的参考书也非常少。鉴于此，本书作者根据自己多年的教学和科研经验，在以往研究生授课讲义的基础上编写了此书。本书旨在向读者介绍程序分析的各种方法、技巧。程序分析包含的范围非常广泛，考虑到教学方便和学生需求，作者尽可能地选取那些比较实用、应用范围较广、内容跟得上时代发展的程序分析方法。本书选取的程序分析方法有：元程序设计、数据流分析、控制流分析、部分求值、形式概念分析、程序分片、程序转换等。程序是与程序设计语言紧密相关的，为此，作者又特别增加了一章，即程序设计语言部分。本书具有如下特点：1）在内容安排上，每一章介绍一个专题，每个专题自成体系，读者可以根据需要选取感兴趣的专题进行阅读。根据专题内容的不同，介绍的侧重点也各有不同：有的侧重原理的讲解、有的侧重应用实例的分析、有的侧重算法的设计，尽量做到重点突出、讲解透彻，非常适合本科生高年级和研究生阶段的学习特点。2）对于书中的许多专题，在介绍基本内容的同时，又融入了我们自己的许多科研成果，如元程序设计专题中的面向对象元程序设计方法；部分求值专题中的过程式语言的动态部分求值和静态部分求值技术；程序分片专题中的过程间的程序分片技术等。3）我们力争把最新的技术和方法介绍给广大的读者，如近年来比较热门的形式概念分析技术等。4）将程序分析技术的几方面的知识合为一体，读者可以通过本书学习到多方面的内容，免去了查找相关资料的烦恼。

目录