Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation

Static program analysis has been widely applied along the whole process of the program development for bug detection, code optimization, testing, etc. Although researchers have made significant work in static program analysis, it is still challenging to perform sophisticated interprocedural analysis...

Full description

Bibliographic Details

Published in:	IEEE transactions on parallel and distributed systems Vol. 32; no. 4; pp. 867 - 883
Main Authors:	Gu, Rong, Zuo, Zhiqiang, Jiang, Xi, Yin, Han, Wang, Zhaokang, Wang, Linzhang, Li, Xuandong, Huang, Yihua
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.04.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Algorithms Big Data Computational modeling Data analysis data-parallel computation distributed systems Interprocedural static analysis Optimization Parallel processing Performance evaluation Scalability Software Static analysis Task analysis Time response
ISSN:	1045-9219, 1558-2183
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!