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...

• Type: Journal
• Year: 2015
• Where: POPL
• Authors: Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, Lu Zhang 0023, Hong Mei
• Keywords: POPL 2015, Programming Languages