程序分析方法

前言

第1章 程序設(shè)計(jì)語(yǔ)言
1.1 程序設(shè)計(jì)語(yǔ)言發(fā)展的四個(gè)階段
1.1.1 機(jī)器語(yǔ)言
1.1.2 匯編語(yǔ)言
1.1.3 高級(jí)語(yǔ)言
1.1.4 第四代語(yǔ)言
1.2 程序設(shè)計(jì)語(yǔ)言的發(fā)展趨勢(shì)
小結(jié)

第2章 元程序設(shè)計(jì)
2.1 元程序介紹
2.2 元程序設(shè)計(jì)系統(tǒng)
2.2.1 元程序系統(tǒng)的組成
2.2.2 中間表示
2.2.3 規(guī)則分類(lèi)和對(duì)應(yīng)的結(jié)構(gòu)
2.2.4 元級(jí)操作
2.2.5 系統(tǒng)的生成
2.3 元級(jí)系統(tǒng)的實(shí)際應(yīng)用
2.3.1 如何構(gòu)造高效的系統(tǒng)
2.3.2 幾個(gè)元級(jí)系統(tǒng)的介紹
小結(jié)

第3章 信息流分析
3.1 控制流分析
3.1.1 控制流分析實(shí)例
3.1.2 控制流分析方法
3.1.3 程序的結(jié)構(gòu)化轉(zhuǎn)換
3.2 數(shù)據(jù)流分析技術(shù)
3.2.1 數(shù)據(jù)流方程定義和活躍變量分析
3.2.2 數(shù)據(jù)流異常的檢測(cè)
3.2.3 常量表達(dá)式節(jié)省
3.2.4 公共子表達(dá)式節(jié)省
3.3 信息流分析技術(shù)的應(yīng)用實(shí)例
3.3.1 方法描述
3.3.2 應(yīng)用
小結(jié)

第4章 別名分析
4.1 指針別名
4.1.1 指針別名的產(chǎn)生
4.1.2 別名信息的分類(lèi)
4.2 別名信息的表示
4.2.1 別名信息的表示介紹
4.2.2 別名計(jì)算
4.3 C語(yǔ)言的別名計(jì)算
4.3.1 C語(yǔ)言的別名采集器
4.3.2 C語(yǔ)言的別名傳播器
4.4 Java的別名分析
4.4.1 Java中的別名問(wèn)題
4.4.2 別名分析算法
小結(jié)

第5章 程序分片
5.1 程序分片的基礎(chǔ)知識(shí)
5.1.1 程序分片的基本概念
5.1.2 一些常見(jiàn)的程序分片方法
5.1.3 程序分片的應(yīng)用
5.2 程序分片方法
5.2.1 基于數(shù)據(jù)流方程求解的過(guò)程內(nèi)分片
5.2.2 基于數(shù)據(jù)流方程求解的過(guò)程間分片
5.2.3 基于程序依賴(lài)圖的過(guò)程內(nèi)分片
5.2.4 基于系統(tǒng)依賴(lài)圖的過(guò)程間分片
5.2.5 動(dòng)態(tài)分片
5.2.6 條件分片
小結(jié)

第6章 形式概念分析
6.1 FCA和格理論基礎(chǔ)介紹
6.1.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 概念格在程序分析中的應(yīng)用
6.3.1 概述
6.3.2 從源程序中推導(dǎo)配置結(jié)構(gòu)
6.3.3 從遺留軟件中提取類(lèi)或模塊
6.3.4 重構(gòu)類(lèi)結(jié)構(gòu)
6.3.5 動(dòng)態(tài)分析
小結(jié)

第7章 部分求值技術(shù)
7.1 部分求值技術(shù)基本原理
7.1.1 Kleene的s-m-n理論
7.1.2 部分求值器的定義
7.2 幾種部分求值技術(shù)的介紹
7.2.1 靜態(tài)部分求值方法
7.2.2 動(dòng)態(tài)部分求值技術(shù)
7.2.3 動(dòng)靜態(tài)結(jié)合的部分求值技術(shù)
7.3 Futamura投影定理
7.3.1 第一投影定理
7.3.2 編譯器的生成與第二投影定理
7.3.3 第三投影定理
7.4 程序點(diǎn)例化技術(shù)
7.4.1 狀態(tài)、程序點(diǎn)和分割
7.4.2 程序點(diǎn)例化
7.4.3 不同語(yǔ)句的代碼生成
7.4.4 轉(zhuǎn)換壓縮
7.4.5 正確的分割技巧
7.4.6 簡(jiǎn)單綁定時(shí)間分析
小結(jié)
參考文獻(xiàn)