源代码分析 PDF下载

编辑推荐

暂无

内容简介

目前，源代码分析是软件工程领域的必备方法之一，有着强烈的工程需求和实用价值，已成为国际学术界和工业界的一个热点。本书从源代码分析的基本概念开始，将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解等，结合大量的实例进行由浅入深的介绍和讲解；同时，在本书的*后专门介绍应用源代码分析技术所研发的一些常用测试工具，并重点介绍两款静态分析工具——DTS、CTS。

作者简介

暂无

目录

源代码分析 pdf下载声明

本pdf资料下载仅供个人学习和研究使用，不能用于商业用途，请在下载后24小时内删除。如果喜欢，请购买正版

pdf下载地址

版权归出版社和作者所有，下载链接已删除。如果喜欢，请购买正版！

链接地址：源代码分析