书籍简介:

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

书籍规格:

书籍详细信息
书名	源代码分析站内查询相似图书
	9787030551887 如需购买下载《源代码分析》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	88.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	300	印数

全网搜索试读资源

书籍信息归属:

源代码分析是科学出版社于2018.1出版的中图分类号为 TP311.52 的主题关于源代码－分析的书籍。