Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis

Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

抄録

Ahstract-Points-to analysis is a fundamental, but computationally intensive technique for static program analysis, optimization, debugging and verification. Context-Free Language (CFL) reachability has been proposed and widely used in demand-driven points-to analyses that aims for computing specific points-to relations on demand rather than all variables in the program. However, CFL-reachability-based points-to analysis still faces challenges when applied in practice especially for flow-sensitive points-to analysis, which aims at improving the precision of points-to analysis by taking account of the execution order of program statements. We propose a scalable approach named Parseeker to parallelize flow-sensitive demand-driven points-to analysis via CFL-reachability in order to improve the performance of points-to analysis with high precision. Our core insights are to (1) produce and process a set of fine-grained, parallelizable queries of points-to relations for the objective program, and (2) take a CFL-reachability-based points-to analysis to answer each query. The MapReduce is used to parallelize the queries and three optimization strategies are designed for further enhancing the efficiency.

本文言語英語
ホスト出版物のタイトルProceedings - Companion of the 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS-C 2020
出版社Institute of Electrical and Electronics Engineers Inc.
ページ91-97
ページ数7
ISBN(電子版)9781728189154
DOI
出版ステータス出版済み - 12月 2020
外部発表はい
イベント20th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2020 - Macau, 中国
継続期間: 12月 11 202012月 14 2020

出版物シリーズ

名前Proceedings - Companion of the 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS-C 2020

会議

会議20th IEEE International Conference on Software Quality, Reliability, and Security, QRS 2020
国/地域中国
CityMacau
Period12/11/2012/14/20

!!!All Science Journal Classification (ASJC) codes

  • ソフトウェア
  • 安全性、リスク、信頼性、品質管理

フィンガープリント

「Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル