所有分类
  • 所有分类
  • 机械工业
  • 人民邮电
  • 清华大学
  • 电子工业

源代码分析 PDF下载

源代码分析  PDF下载插图

源代码分析-封面

源代码分析  PDF下载插图1

源代码分析-书签


【作 者】宫云战,邢颖,肖庆等著
【形态项】 274
【出版项】 北京:科学出版社 , 2018.01
【ISBN号】978-7-03-055188-7
【中图法分类号】TP311.52
【原书定价】98.00
【主题词】源代码-分析
【参考文献格式】 宫云战,邢颖,肖庆等著. 源代码分析. 北京:科学出版社, 2018.01.
内容提要:
本书系统介绍了软件源代码分析的基本原理和常用方法,同时介绍了当今比较主流的基于源代码分析的测试工具,基本上涵盖了当今源代码分析技术的全部内容。本书共分11章,内容包括:源代码分析基础、抽象解释、符号分析技术、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算、约束求解和源代码分析应用。本书结合实例介绍了多种源代码分析方法,并将它们合理地融合在每一章中。

资源下载资源下载价格3点击检测网盘有效后购买    升级VIP后免费
客服QQ:3599229794
资源下载
客服QQ:3599229794
0

评论0

请先

显示验证码
没有账号? 注册  忘记密码?