题名:
|
源代码分析 / 宫云战,邢颖,肖庆等著 , |
ISBN:
|
978-7-03-055188-7 价格: CNY98.00 |
语种:
|
chi |
载体形态:
|
274页 24cm |
出版发行:
|
出版地: 北京 出版社: 科学出版社 出版日期: 2018 |
内容提要:
|
本书从源代码分析的基本概念开始,将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解等,结合大量的实例进行由浅入深的介绍和讲解;同时,在本书的最后专门介绍应用源代码分析技术所研发的一些常用测试工具,并重点介绍两款静态分析工具——DTS、CTS。 |
主题词:
|
源代码 分析 |
中图分类法:
|
TP311.52 版次: 5 |
主要责任者:
|
宫云战 著 |
主要责任者:
|
邢颖 著 |
主要责任者:
|
肖庆 著 |
索书号:
|
0 |