源代码分析

源代码分析
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
出版社: 科学出版社
2017-11
版次: 31
ISBN: 9787030551887
定价: 98.00
装帧: 平装
开本: 其他
页数: 284页
25人买过
  •   目前,源代码分析是软件工程领域的必备方法之一,有着强烈的工程需求和实用价值,已成为国际学术界和工业界的一个热点。本书从源代码分析的基本概念开始,将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解等,结合大量的实例进行由浅入深的介绍和讲解;同时,在本书的*后专门介绍应用源代码分析技术所研发的一些常用测试工具,并重点介绍两款静态分析工具——DTS、CTS。
  • 内容简介:
      目前,源代码分析是软件工程领域的必备方法之一,有着强烈的工程需求和实用价值,已成为国际学术界和工业界的一个热点。本书从源代码分析的基本概念开始,将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解等,结合大量的实例进行由浅入深的介绍和讲解;同时,在本书的*后专门介绍应用源代码分析技术所研发的一些常用测试工具,并重点介绍两款静态分析工具——DTS、CTS。
查看详情
12
您可能感兴趣 / 更多