源代码分析 PDF下载

【作　者】宫云战，邢颖，肖庆等著
【形态项】 274
【出版项】 北京：科学出版社 , 2018.01
【ISBN号】978-7-03-055188-7
【中图法分类号】TP311.52
【原书定价】98.00
【主题词】源代码-分析
【参考文献格式】 宫云战，邢颖，肖庆等著. 源代码分析. 北京：科学出版社, 2018.01.
内容提要:
本书系统介绍了软件源代码分析的基本原理和常用方法，同时介绍了当今比较主流的基于源代码分析的测试工具，基本上涵盖了当今源代码分析技术的全部内容。本书共分11章，内容包括：源代码分析基础、抽象解释、符号分析技术、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算、约束求解和源代码分析应用。本书结合实例介绍了多种源代码分析方法，并将它们合理地融合在每一章中。