更多
通知
  • 医学文献
  • 知识库
  • 评价分析
  • 全部
  • 中外期刊
  • 学位
  • 会议
  • 专利
  • 成果
  • 标准
  • 法规
    高级检索 检索偏好
    • 临床诊疗知识库
    • 中医药知识库
    • 机构
    • 作者
    热搜词：
    换一批
    论文 期刊
    取消
    高级检索

    检索历史 清除

    医学文献>>
    • 全部
    • 中外期刊
    • 学位
    • 会议
    • 专利
    • 成果
    • 标准
    • 法规
    知识库 >>
    • 临床诊疗知识库
    • 中医药知识库
    评价分析 >>
    • 机构
    • 作者
    高级检索 检索偏好
    热搜词：
    换一批
    首页 > 价值工程 > 一种基于上下文的精简控制流图方法的研究

    一种基于上下文的精简控制流图方法的研究

    A Constraint-based Analysis with Context to Simplify Control Flow Graph

    导出 在线阅读 下载全文 终端阅读

    二维码有效期 120s

    点击刷新
    注：终端设备浏览有效期：
     学术成果认领
    打印 收藏 分享
    • 新浪微博
    • 微信
    • QQ空间
    • 豆瓣
     纠错

    摘要很多静态代码分析的方法都以控制流图作为基础，本文采用一种加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最小解并生成控制流图，比0-CFA，加入数据流的约束分析更精确地约减不可达分支，生成较少冗余的控制流图。以本文生成的控制流图作为静态代码分析方法的基础，可以提高静态代码分析的效率，降低误报率。

    更多

    相关知识

    查看相关文献
    广告
    作者 李金诺 [1] 陆育锋 [1] 汤云杰 [2] 张开元 [3] 学术成果认领
    作者单位 中国石油勘探开发研究院西北分院,兰州,730050 [1] 北京清华长庚医院信息管理处,北京,102218 [2] 西安交通大学，西安710049; 西安电子科技大学，西安710071 [3]
    关键词 静态分析基于约束的分析控制流分析不动点算法static analysisconstraint-based analysiscontrol flow analysisWorklist
    分类号 TP311
    栏目名称 鄢信息技术鄢
    发布时间 2014-10-28
    • 浏览0
    • 被引2
    • 下载0
    价值工程

    价值工程

    2014年29期

    217-219,220页

    加载中！

    相似文献

    • 中文期刊
    • 外文期刊
    • 学位论文
    • 会议论文

    加载中！

    加载中！

    加载中！

    加载中！

    • 浏览0
    • 被引2
    • 下载0

    相关期刊

    加载中！

    特别提示：本网站仅提供医学学术资源服务，不销售任何药品和器械，有关药品和器械的销售信息，请查阅其他网站。

    • 客服热线：4000-115-888 转3 (周一至周五：8:00至17:00)

    • |

    • 客服邮箱：yiyao@wanfangdata.com.cn

    • 违法和不良信息举报电话：4000-115-888，举报邮箱：problem@wanfangdata.com.cn，举报专区

    官方微信
    万方医学小程序
    new翻译 充值 订阅 收藏 移动端

    官方微信

    万方医学小程序

    使用
    帮助
    Alternate Text
    调查问卷