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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on parallel and distributed systems Jg. 32; H. 4; S. 867 - 883
Hauptverfasser:	Gu, Rong, Zuo, Zhiqiang, Jiang, Xi, Yin, Han, Wang, Zhaokang, Wang, Linzhang, Li, Xuandong, Huang, Yihua
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.04.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!