...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Computers >Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic
【24h】

Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic

机译：

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

One of the bottlenecks in interprocedural analysis is the difficulty in handling complex parameters. This paper proposes a novel approach to solve this problem: symbolic procedure summary, which is constructed using region-based symbolic three-valued logic (RSTVL). RSTVL is a memory model that can describe memory state of variables and all kinds of associations among them. Based on the result of intraprocedural analysis, we construct symbolic procedure summary described by RSTVL, and instantiate it at call site using the calling context. Our approach improves analysis precision as it achieves context-sensitive and field-sensitive interprocedural analysis. We apply this approach in defect detection, and experimental results show that it can effectively reduce both false negatives and false positives of defect detecting, and improve test accuracy at the same time.

著录项

  • 来源
    《Journal of Computers》 |2014年第3期|774-780|共7页
  • 作者

    Yukun Dong; Dahai Jin; Yunzhan Gong;

  • 作者单位

    College of Computer and Communication Engineering, China University of Petroleum, Qingdao, China;

    State Key Laboratory of Networking and Switching Tech, Beijing University of Posts and Telecommunications, Beijing 100876, China;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 英语
  • 中图分类 计量学;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号