MARC状态：审校 文献类型：中文图书 浏览次数：5
- 题名/责任者:
- 源代码分析/宫云战，邢颖，肖庆等著
- 出版发行项:
- 北京:科学出版社,2018
- ISBN及定价:
- 978-7-03-055188-7/CNY98.00
- 载体形态项:
- 274页;24cm
- 个人责任者:
- 宫云战 著
- 个人责任者:
- 邢颖 著
- 个人责任者:
- 肖庆 著
- 学科主题:
- 源代码-分析
- 中图法分类号:
- TP311.52
- 提要文摘附注:
- 本书从源代码分析的基本概念开始，将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解等，结合大量的实例进行由浅入深的介绍和讲解；同时，在本书的最后专门介绍应用源代码分析技术所研发的一些常用测试工具，并重点介绍两款静态分析工具——DTS、CTS。
全部MARC细节信息>>
鄞州馆流通区(可借)