返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版新书]源代码分析宫云战 等9787030551887
  • 全店均为全新正版书籍,欢迎选购!新疆西藏青海(可包挂刷).港澳台及海外地区bu bao快递
    • 作者: 宫云战 等著 | 宫云战 等编 | 宫云战 等译 | 宫云战 等绘
    • 出版社: 科学出版社
    • 出版时间:2018-01-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    君凤文轩图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: 宫云战 等著| 宫云战 等编| 宫云战 等译| 宫云战 等绘
    • 出版社:科学出版社
    • 出版时间:2018-01-01
    • 版次:1
    • 印次:4
    • 字数:358000
    • 页数:284
    • 开本:B5
    • ISBN:9787030551887
    • 版权提供:科学出版社
    • 作者:宫云战 等
    • 著:宫云战 等
    • 装帧:平装
    • 印次:4
    • 定价:115
    • ISBN:9787030551887
    • 出版社:科学出版社
    • 开本:B5
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2018-01-01
    • 页数:284
    • 外部编号:涿仝西I4433
    • 版次:1
    • 成品尺寸:暂无

    前言

    章 源代码分析概要

    1.1 基本概念

    1.1.1 源代码

    1.1.2 源代码分析

    1.1.3 分析过程

    1.1.4 源代码建模

    1.2 语法与语义分析

    1.2.1 语法分析

    1.2.2 抽象语法树

    1.. 符号表

    1.2.4 语义分析

    1.3 控制流分析

    1.3.1 控制流图

    1.3.2 支配图

    1.3.3 依赖图

    1.4 数据流分析

    1.5 源代码分析常用方法

    1.6 常用源代码分析技术

    1.6.1 程序的抽象

    1.6.2 区间运算

    1.6.3 程序切片计算

    1.6.4 路径计算

    1.6.5 约束求解

    参考文献



    第2章 抽象解释

    2.1 引言

    2.2 基本概念

    2.2.1 格与不动点理论

    2.2.2 伽罗瓦连接

    2.. Widening/Narrowing算子

    . 程序分析与抽象解释

    ..1 程序分析的不可判定

    ..2 程序语义及其不动点形式

    .. 抽象解释中的语义层次体系

    2.4 抽象解释应用实例

    参考文献



    第3章 符号计算

    3.1 简介

    3.2 符号执行技术的基本原理

    3.3 符号执行技术的形式化表达

    3.4 符号执行实现方法

    3.4.1 静态符号执行

    3.4.2 动态符号执行

    3.4.3 符号执行技术总结

    3.5 符号执行工具简介

    3.5.1 SPF

    3.5.2 KLEE

    3.5.3 SAGE

    3.5.4 PEX

    参考文献



    第4章 区间运算技术

    4.1 经典的区间代数

    4.1.1 区间及区间运算

    4.1.2 区间向量和区间函数

    4.2 扩展的区间运算

    4.2.1 数值型区间集代数

    4.2.2 非数值型区间代数

    4.. 条件表达式中的区间计算

    4.2.4 基于区间运算的变量值范围分析

    4.3 变量的相关分析

    4.3.1 变量间关联关系的分类

    4.3.2 符号分析

    4.4 区间运算在程序分析中的应用

    4.4.1 检测矛盾节点

    4.4.2 检测不可达路径

    4.4.3 提高缺陷检测效率

    参考文献



    第5章 路径分析

    5.1 概述

    5.2 路径不分析方法

    5.2.1 数据流分析

    5.2.2 四种典型数据流问题

    5.. 数据流分析的理论依据

    5.2.4 数据流解的含义

    5.3 路径分析方法

    5.3.1 缺陷模式状态机

    5.3.2 不可达路径引人误报

    5.3.3 路径信息抽象

    5.3.4 检测算法

    参考文献



    第6章 抽象内存建模

    6.1 传统的程序分析模型

    6.1.1 二元模型

    6.1.2 数组模型

    6.2 抽象内存模型

    6.2.1 模型定义

    6.2.2 模型的基本作
    6.3 语义模拟算法

    6.3.1 通用操作符

    6.3.2 指针

    6.3.3 数组

    6.3.4 结构体

    6.3.5 字符串

    6.4 基于抽象内存模型的测试用例生成

    参考文献



    第7章 上下文分析

    7.1 问题分析

    7.1.1 函数调用后影响上下文

    7.1.2 函数调用前约束上下文

    7.1.3 函数特征影响上下文

    7.2 函数影响

    7.2.1 函数影响描述

    7.2.2 函数影响生成

    7.. 函数影响应用

    7.2.4 函数影响实验

    7.3 函数约束

    7.3.1 函数约束描述

    7.3.2 函数约束生成

    7.3.3 函数约束应用

    7.3.4 函数约束实验

    7.4 函数特征

    7.4.1 函数特征描述

    7.4.2 函数特征生成

    7.4.3 函数特征实验

    参考文献



    第8章 程序切片

    8.1 基本概念

    8.1.1 程序切片的定义

    8.1.2 程序切片标准

    8.2 常见程序切片种类

    8.2.1 静态切片

    8.2.2 动态切片

    8.. 后向切片

    8.2.4 前向切片

    8.2.5 准静态切片

    8.2.6 同步切片

    8.2.7 条件切片

    8.2.8 无定型切片

    8.2.9 混合切片

    8.2.10 程序砍片

    8.3 程序切片计算方法

    8.3.1 过程内切片计算方法

    8.3.2 过程间切片计算方法

    8.3.3 面向对象的程序切片计算方法

    8.4 程序切片的应用

    8.4.1 软件质量保

    8.4.2 软件维护

    8.4.3 软件度量

    参考文献



    第9章 路径计算

    9.1 路径生成

    9.1.1 不包含循环结构的路径生成

    9.1.2 循环结构路径生成

    9.2 路径可达计算

    9.2.1 基于矛盾片段模式的路径可达计算

    9.2.2 基于优化区间运算的路径可达计算

    9.. 基于等式系数矩阵的路径可达计算

    9.2.4 基于仿运算的路径可达计算

    参考文献



    0章 约束求解

    10.1 求解布尔约束满足问题

    10.1.1 布尔约束满足问题

    10.1.2 基础知识

    10.1.3 算法

    10.1.4 典型的SAT求解器和SMT求解器

    10.2 求解有限约束满足问题

    10.2.1 有限约束满足问题

    10.2.2 回溯法

    10.. 不完备算法-局部搜索法

    10.3 求解混合约束满足问题

    10.3.1 混合布尔约束满足问题

    10.3.2 数值约束求解算法

    10.4 基于约束求饵的测试用例自动生成

    10.4.1 常见的测试用例生成方法

    10.4.2 基于抽象内存模型的分支限界法

    参考文献



    1章 源代码分析应用

    11.1 缺陷检测系统DTS

    11.1.1 产品功能

    11.1.2 产品特色

    11.1.3 缺陷模式

    11.1.4 技术架构

    11.1.5 技术指标

    11.1.6 使用步骤

    11.2 代码测试系统CTS

    11.2.1 系统功能

    11.2.2 操作步骤

    11.3 代码分析工具

    11.3.1 Emma

    11.3.2 C++test

    11.3.3 Testbed

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购