注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术工业技术建筑科学建筑设计源代码分析

源代码分析

源代码分析

定 价:¥98.00

作 者: 宫云战 邢 颖 肖 庆 等
出版社: 科学出版社
丛编项:
标 签: 程序设计 计算机/网络 其他

购买这本书可以去


ISBN: 9787030551887 出版时间: 2017-11-01 包装: 平装
开本: B5 页数: 284 字数:  

内容简介

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

作者简介

暂缺《源代码分析》作者简介

图书目录

暂缺《源代码分析》目录

本目录推荐