西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

源代码分析/宫云战, 邢颖, 肖庆等著

出版发行项:

北京:科学出版社,2018

ISBN及定价:

978-7-03-055188-7/CNY98.00

载体形态项:

274页:图;24cm

个人责任者:

宫云战 著

个人责任者:

邢颖 著

个人责任者:

肖庆 著

学科主题:

源代码-分析

中图法分类号:

TP311.52

书目附注:

有书目

提要文摘附注:

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

豆瓣简介：