Sciweavers

POPL
2015
ACM

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

7 years 11 months ago
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
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-freelanguage (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 datadependence analysis with the TAL-reachability-based library summary and context-sensitive data-dependence analysis with th...
Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie,
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where POPL
Authors Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, Lu Zhang 0023, Hong Mei
Comments (0)