机读格式显示(MARC)

• 000 01110nam0 2200277 450

• 001 0000280019

• 005 20180913153200.0

• 010 __ |a 978-7-03-055188-7 |d CNY98.00

• 099 __ |a CAL 012017184034

• 100 __ |a 20171227d2018 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 源代码分析 |A yuan dai ma fen xi |f 宫云战, 邢颖, 肖庆等著

• 210 __ |a 北京 |c 科学出版社 |d 2018

• 215 __ |a 274页 |c 图 |d 24cm

• 320 __ |a 有书目

• 330 __ |a 本书系统介绍了软件源代码分析的基本原理和常用方法，同时介绍了当今比较主流的基于源代码分析的测试工具，基本上涵盖了当今源代码分析技术的全部内容。本书共分11章，内容包括：源代码分析基础、抽象解释、符号分析技术、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算、约束求解和源代码分析应用。本书结合实例介绍了多种源代码分析方法，并将它们合理地融合在每一章中。

• 606 0_ |a 源代码 |A yuan dai ma |x 分析

• 690 __ |a TP311.52 |v 5

• 701 _0 |a 宫云战 |A gong yun zhan |4 著

• 701 _0 |a 邢颖 |A xing ying |4 著

• 701 _0 |a 肖庆 |A xiao qing |4 著

• 801 _0 |a CN |b NMU |c 20171227

• 905 __ |a AUSTL |d TP311.52/G939