Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis

Haibo Yu, Qiang Sun, Kejun Xiao, Yuting Chen, Tsunenori Mine, Jianjun Zhao. Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis. In 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020. pages 91-97, IEEE, 2020. [doi]

Abstract

Abstract is missing.