面向路径的程序分析

J. C. Huang University of Houston,USA

Path-Oriented Program

Analysis

2008, 196pp.

Hardcover

ISBN 9780521882866

J.C.黄著

程序分析是一个涉及从程序中系统地提取信息的研究领域，自从计算机科学成为一个学科起，它就吸引了计算机科学家大量的注意力。早期的努力大多是来自在编译程序中所遇到问题的推动，后来研究领域被扩展到包括在计算机辅助软件工程工具开发中产生的问题上面，例如怎样通过静态分析检测某些编程错误。到了20世纪80年代中，程序分析的视野已经极大地扩展了，除了已有的问题以外，还包括了数据流等式的调研、类型推理和闭包分析。现在人们理解了这些看似独立的问题是相关的，可以从一个统一的概念框架中研究它们。

本书介绍了一种独特的分解计算机程序及其执行路径的方法，用来简化如何编制子程序，以及从它的子程序重新组合程序。通过把一个程序分解成一组子程序，然后尽可能在最大程度上将它们简化，这种方法帮我们细分并控制由一个程序执行的计算的复杂性。最终经过简化的子程序作为一个整体要比原始的程序更加容易理解。这种按照分解、简化及重新组合的面向路径的方法还可以用来简化一段源代码。程序分析有可能以这样一种方式进行，即分析结果的推导构成了一个正确性证明。这种方法可用于任何源代码(或者它的一部分)。

本书共有9章和2个附录。1.绪论，对程序分析演变的历史及本书各章的内容做了简要的介绍；2.状态约束；3.子程序简化；4.程序集合；5.路径方式分解；6.重复约束；7.程序的重新组合；8.讨论；9.符号跟踪的自动生成。附录A：实例；附录B：逻辑-数学背景。

作者是美国宾夕法尼业大学电气工程博士，从1992年至1996年任美国休斯敦大学计算科学系主任，他对计算机软件的实际经验包括：曾任为美国陆军弹道导弹防御司令部开发的软件验证及验证系统的首席设计师；美国海军水下系统中心有关潜艇软件问题的资深顾问。

本书可供从事程序分析研究及应用的计算机软件专业人员阅读借鉴。

胡光华，高级软件工程师

(原中国科学院物理学研究所)

Hu Guanghua, Senior Software Engineer

(Former Institute of Physics,CAS)