程序分析原理弗莱明·尼尔森,汉内·里斯·尼尔森,克里斯·汉金 pdf下载

基本信息

• 商品名称：程序分析原理
• 作者：[丹]弗莱明·尼尔森(Flemming Nielson),[丹]汉内·里斯·尼尔森(Hanne Riis Nielson),[英]克里斯·汉金(Chris Hankin) 著
• 定价：139
• 出版社：机械工业
• 书号：9787111706885

其他参考信息（以实物为准）

• 出版时间：2022-07-01
• 印刷时间：2022-07-01
• 版次：1
• 印次：1
• 开本：16开
• 包装：平装
• 页数：291

内容提要

该书共分为6章，其中第1章为介绍，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。<br><br>

目录

前言<br/>第1章概述1<br/>11什么是程序分析1<br/>12设置场景2<br/>13数据流分析3<br/>131等式方法3<br/>132基于约束的方法5<br/>14基于约束的分析6<br/>15抽象解释8<br/>16类型和作用系统11<br/>161注释类型系统12<br/>162作用系统14<br/>17算法16<br/>18程序转换17<br/>结束语18<br/>迷你项目18<br/>练习20<br/>第2章数据流分析22<br/>21过程内数据流分析22<br/>211可用表达式分析24<br/>212到达定值分析26<br/>213很忙的表达式分析29<br/>214活跃变量分析31<br/>215派生数据流信息33<br/>22理论性质34<br/>221结构操作语义34<br/>222活跃变量分析的正确性38<br/>23单调框架41<br/>231基本定义43<br/>232案例回顾44<br/>233一个不可分配的例子46<br/>24等式系统的求解47<br/>241MFP解47<br/>242MOP解50<br/>25过程间分析53<br/>251结构操作语义55<br/>252过程内分析与过程间分析56<br/>253显式使用上下文58<br/>254调用字符串作为上下文61<br/>255假设集作为上下文63<br/>256流敏感与流不敏感64<br/>26形状分析66<br/>261结构操作语义67<br/>262形状图70<br/>263分析的描述73<br/>结束语82<br/>迷你项目84<br/>练习86<br/>第3章基于约束的分析90<br/>31抽象0睠FA分析90<br/>311分析的描述91<br/>312分析的明确定义96<br/>32理论性质97<br/>321结构操作语义98<br/>322语义正确性101<br/>323解的存在性104<br/>324余归纳和归纳的比较106<br/>33语法引导的0睠FA分析108<br/>331语法引导的规范108<br/>332解的保持110<br/>34基于约束的0睠FA分析111<br/>341解的保持113<br/>342约束的求解113<br/>35添加数据流分析117<br/>351抽象值为幂集117<br/>352抽象值为 格119<br/>36添加上下文信息122<br/>361均匀k睠FA分析123<br/>362笛卡儿积算法127<br/>结束语128<br/>迷你项目130<br/>练习132<br/>第4章抽象解释135<br/>41一种普通的正确性定义135<br/>411正确性关系136<br/>412表示函数138<br/>413一个较小的扩展139<br/>42不动点的近似141<br/>421加宽算子143<br/>422变窄算子146<br/>43Galois连接149<br/>431Galois连接的性质152<br/>432Galois插入155<br/>44Galois连接的系统的设计方法157<br/>441组件上的组合159<br/>442其他组合方式162<br/>45衍生的操作165<br/>451沿着抽象化函数衍生165<br/>452数据流分析中的应用168<br/>453沿着具体化函数衍生171<br/>结束语174<br/>迷你项目176<br/>练习177<br/>第5章类型和作用系统182<br/>51控制流分析182<br/>511底层类型系统183<br/>512基于类型的分析184<br/>52理论性质187<br/>521自然语义187<br/>522语义正确性189<br/>523解的存在性191<br/>53类型推导算法193<br/>531一个底层类型系统的算法193<br/>532一个控制流分析的算法196<br/>533语法可靠性和完备性200<br/>534解的存在性204<br/>54作用205<br/>541副作用分析206<br/>542异常分析210<br/>543区域推导213<br/>55行为219<br/>551通信分析219<br/>结束语225<br/>迷你项目228<br/>练习231<br/>第6章算法234<br/>61工作列表算法234<br/>611工作列表算法的结构235<br/>612LIFO和FIFO迭代238<br/>62逆后序迭代239<br/>621循环算法242<br/>63在强分量里迭代243<br/>结束语245<br/>迷你项目247<br/>练习248<br/>附录A偏序集合250<br/>附录B归纳和余归纳258<br/>附录C图和正则表达式265<br/>参考文献272<br/>符号索引283<br/>术语索引287