Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan

Zhiqiang Zuo 0002, Kai Wang 0029, Aftab Hussain 0001, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu. Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. ACM Trans. Comput. Syst., 38(1-2), 2021. [doi]

Authors

Zhiqiang Zuo 0002

This author has not been identified. Look up 'Zhiqiang Zuo 0002' in Google

Kai Wang 0029

This author has not been identified. Look up 'Kai Wang 0029' in Google

Aftab Hussain 0001

This author has not been identified. Look up 'Aftab Hussain 0001' in Google

Ardalan Amiri Sani

This author has not been identified. Look up 'Ardalan Amiri Sani' in Google

Yiyu Zhang

This author has not been identified. Look up 'Yiyu Zhang' in Google

Shenming Lu

This author has not been identified. Look up 'Shenming Lu' in Google

Wensheng Dou

This author has not been identified. Look up 'Wensheng Dou' in Google

Linzhang Wang

This author has not been identified. Look up 'Linzhang Wang' in Google

Xuandong Li

This author has not been identified. Look up 'Xuandong Li' in Google

Chenxi Wang

This author has not been identified. Look up 'Chenxi Wang' in Google

Guoqing Harry Xu

This author has not been identified. Look up 'Guoqing Harry Xu' in Google