文章基本信息

标题：Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic
本地全文：下载
作者：Dong, Yukun ; Jin, Dahai ; Gong, Yunzhan 等
期刊名称：Journal of Computers
印刷版ISSN：1796-203X
出版年度：2014
卷号：9
期号：3
页码：774-780
DOI：10.4304/jcp.9.3.774-780
语种：English
出版社：Academy Publisher
摘要：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 re-sult of intraprocedural analysis, we construct symbolic pro-cedure 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.
关键词：static analysis;procedure summary;interprocedure analysis;context sensitive;field sensitive