Pinpoint: fast and precise sparse value flow analysis for million lines of code.

Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang

Browse the full PLDI paper archive.