Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries

Yongchao Wang, Yuandao Cai, Charles Zhang

Value flow analysis that tracks the flow of values via data dependence is a widely used technique for detecting a broad spectrum of software bugs. However, the scalability issue of…