Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of   Callbacks

doi:10.1145/2676726.2676997

CORC > 北京大学 > 信息科学技术学院

	Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
	Tang, Hao ; Wang, Xiaoyin ; Zhang, Lingming ; Xie, Bing ; Zhang, Lu ; Mei, Hong
刊名	ACM SIGPLAN NOTICES
	2015
关键词	Algorithms Languages TAL reachability CFL reachability context-sensitive analysis summary-based analysis tree adjoining languages POINTS-TO ANALYSIS DATA-FLOW ANALYSIS CFL-REACHABILITY SET CONSTRAINTS RACE DETECTION PROGRAMS GRAMMARS PRECISE
DOI	10.1145/2676726.2676997
英文摘要	Building a summary for library code is a common approach to speeding up the analysis of client code. In presence of callbacks, some reachability relationships between library nodes cannot be obtained during library-code summarization. Thus, the library code may have to be analyzed again during the analysis of the client code with the library summary. In this paper, we propose to summarize library code with tree-adjoining-language (TAL) reachability. Compared with the summary built with context-free-language (CFL) reachability, the summary built with TAL reachability further contains conditional reachability relationships. The conditional reachability relationships can lead to much lighter analysis of the library code during the client code analysis with the TAL-reachability-based library summary. We also performed an experimental comparison of context-sensitive data-dependence analysis with the TAL-reachability-based library summary and context-sensitive data-dependence analysis with the CFL-reachability-based library summary using 15 benchmark subjects. Our experimental results demonstrate that the former has an 8X speed-up over the latter on average.; National 973 Program of China [2015CB352201]; National 863 Program of China [2013AA01A605]; Science Fund for Creative Research Groups of China [61121063]; National Science Foundation of China [911118004, 61228203, 61225007]; SCI(E); EI; ARTICLE; tanghao13@sei.pku.edu.cn; xiaoyin.wang@utsa.edu; lingming.zhang@utdallas.edu; xiebing@sei.pku.edu.cn; zhanglu@sei.pku.edu.cn; meih@sei.pku.edu.cn; 1; 83-95; 50
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/421229]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Tang, Hao,Wang, Xiaoyin,Zhang, Lingming,et al. Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks[J]. ACM SIGPLAN NOTICES,2015.
APA	Tang, Hao,Wang, Xiaoyin,Zhang, Lingming,Xie, Bing,Zhang, Lu,&Mei, Hong.(2015).Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks.ACM SIGPLAN NOTICES.
MLA	Tang, Hao,et al."Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks".ACM SIGPLAN NOTICES (2015).