定 價(jià)：139 元
叢書(shū)名：計(jì)算機(jī)科學(xué)叢書(shū)
- 作者：[丹]弗萊明·尼爾森(Flemming Nielson),[丹]漢內(nèi)·里斯·尼爾森(Hanne Riis Nielson),[英]克里斯·漢金(Chris Hankin) 著
- 出版時(shí)間：2022/7/1
- ISBN：9787111706885
- 出 版 社：機(jī)械工業(yè)出版社
- 中圖法分類(lèi)：TP311.11
- 頁(yè)碼：300
- 紙張：
- 版次：
- 開(kāi)本：16
該書(shū)共分為6章，其中第1章為介紹，第2~5章依次為數(shù)據(jù)流分析、基于約束的分析、抽象解釋、類(lèi)型和作用系統(tǒng)，第6章為分析算法介紹。該書(shū)內(nèi)容基本囊括了程序分析領(lǐng)域中的經(jīng)典方法和技術(shù)，配以嚴(yán)謹(jǐn)?shù)男问交到y(tǒng)，全書(shū)思路清晰、邏輯性強(qiáng)，是不可多得的經(jīng)典書(shū)籍。
前言
第1章概述1
11什么是程序分析1
12設(shè)置場(chǎng)景2
13數(shù)據(jù)流分析3
131等式方法3
132基于約束的方法5
14基于約束的分析6
15抽象解釋8
16類(lèi)型和作用系統(tǒng)11
161注釋類(lèi)型系統(tǒng)12
162作用系統(tǒng)14
17算法16
18程序轉(zhuǎn)換17
結(jié)束語(yǔ)18
迷你項(xiàng)目18
練習(xí)20
第2章數(shù)據(jù)流分析22
21過(guò)程內(nèi)數(shù)據(jù)流分析22
211可用表達(dá)式分析24
212到達(dá)定值分析26
213很忙的表達(dá)式分析29
214活躍變量分析31
215派生數(shù)據(jù)流信息33
22理論性質(zhì)34
221結(jié)構(gòu)操作語(yǔ)義34
222活躍變量分析的正確性38
23單調(diào)框架41
231基本定義43
232案例回顧44
233一個(gè)不可分配的例子46
24等式系統(tǒng)的求解47
241MFP解47
242MOP解50
25過(guò)程間分析53
251結(jié)構(gòu)操作語(yǔ)義55
252過(guò)程內(nèi)分析與過(guò)程間分析56
253顯式使用上下文58
254調(diào)用字符串作為上下文61
255假設(shè)集作為上下文63
256流敏感與流不敏感64
26形狀分析66
261結(jié)構(gòu)操作語(yǔ)義67
262形狀圖70
263分析的描述73
結(jié)束語(yǔ)82
迷你項(xiàng)目84
練習(xí)86
第3章基于約束的分析90
31抽象0CFA分析90
311分析的描述91
312分析的明確定義96
32理論性質(zhì)97
321結(jié)構(gòu)操作語(yǔ)義98
322語(yǔ)義正確性101
323解的存在性104
324余歸納和歸納的比較106
33語(yǔ)法引導(dǎo)的0CFA分析108
331語(yǔ)法引導(dǎo)的規(guī)范108
332解的保持110
34基于約束的0CFA分析111
341解的保持113
342約束的求解113
35添加數(shù)據(jù)流分析117
351抽象值為冪集117
352抽象值為完全格119
36添加上下文信息122
361均勻kCFA分析123
362笛卡兒積算法127
結(jié)束語(yǔ)128
迷你項(xiàng)目130
練習(xí)132
第4章抽象解釋135
41一種普通的正確性定義135
411正確性關(guān)系136
412表示函數(shù)138
413一個(gè)較小的擴(kuò)展139
42不動(dòng)點(diǎn)的近似141
421加寬算子143
422變窄算子146
43Galois連接149
431Galois連接的性質(zhì)152
432Galois插入155
44Galois連接的系統(tǒng)的設(shè)計(jì)方法157
441組件上的組合159
442其他組合方式162
45衍生的操作165
451沿著抽象化函數(shù)衍生165
452數(shù)據(jù)流分析中的應(yīng)用168
453沿著具體化函數(shù)衍生171
結(jié)束語(yǔ)174
迷你項(xiàng)目176
練習(xí)177
第5章類(lèi)型和作用系統(tǒng)182
51控制流分析182
511底層類(lèi)型系統(tǒng)183
512基于類(lèi)型的分析184
52理論性質(zhì)187
521自然語(yǔ)義187
522語(yǔ)義正確性189
523解的存在性191
53類(lèi)型推導(dǎo)算法193
531一個(gè)底層類(lèi)型系統(tǒng)的算法193
532一個(gè)控制流分析的算法196
533語(yǔ)法可靠性和完備性200
534解的存在性204
54作用205
541副作用分析206
542異常分析210
543區(qū)域推導(dǎo)213
55行為219
551通信分析219
結(jié)束語(yǔ)225
迷你項(xiàng)目228
練習(xí)231
第6章算法234
61工作列表算法234
611工作列表算法的結(jié)構(gòu)235
612LIFO和FIFO迭代238
62逆后序迭代239
621循環(huán)算法242
63在強(qiáng)分量里迭代243
結(jié)束語(yǔ)245
迷你項(xiàng)目247
練習(xí)248
附錄A偏序集合250
附錄B歸納和余歸納258
附錄C圖和正則表達(dá)式265
參考文獻(xiàn)272
符號(hào)索引283
術(shù)語(yǔ)索引287
書(shū)單推薦
