《源代码分析》PDF电子版

购买点数：11 点
作　　者：宫云战邢颖肖庆等著
出版社：北京：科学出版社
出版年份：2018
ISBN：9787030551887
标注页数：274 页
PDF页数：286页
MD5值：152694d39fc58ab6d6e32f5c3eda90cd

图书介绍：本书系统介绍了软件源代码分析的基本原理和常用方法，同时介绍了当今比较主流的基于源代码分析的测试工具，基本上涵盖了当今源代码分析技术的全部内容。本书共分11章，内容包括：源代码分析基础、抽象解释、符号分析技术、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算、约束求解和源代码分析应用。本书结合实例介绍了多种源代码分析方法，并将它们合理地融合在每一章中。

购买此书PDF格式电子书

压缩包BT下载地址（32 MB）