Scaling Inter-procedural Dataflow Analysis on the Cloud

Zewen Sun, Yujin Zhang, Duanchen Xu +11

Apart from forming the backbone of compiler optimization, static dataflow analysis has been widely applied in a vast variety of applications, such as bug detection, privacy analysi…