《程序分析方法》(作者張晶、趙健、張鵬)作者多年來一直為吉林大學計算機專業、軟件工程專業的研究生講授程序分析的課程，因內容廣泛、方法實用，該課程深受學生歡迎。遺憾的是，這門課程一直缺少相應的教材，**這方面的參考書也**少。鋻於此，本書作者根據自己多年的教學和科研經驗，在以往研究生授課講義的基礎上編寫了此書。本書旨在向讀者介紹程序分析的各種方法、技巧。

《程序分析方法》(作者張晶、趙健、張鵬)共7 章，第1章介紹程序設計語言的歷史以及未來的發展 趨勢：第2章介紹元程序設計，包括元程序的概述、 元程序繫統及其應用；第3章介紹信息流分析技術； 第4章介紹別名分析的相關知識；第5章介紹程序分片 的基礎知識和方法；第6章介紹形式概念分析的相關 知識和應用；第7章介紹部分求值技術的相關內容。 《程序分析方法》可作為計算機相關專業本科高 年級學生及研究生教材，也可作為程序開發人員的參 考用書。

前言
第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 簡單綁定時間分析
小結
參考文獻