Soot-based implementation of a demand-driven reaching definitions analysis.

Longwen Lu, Cheng Zhang, Jianjun Zhao

Browse the full PLDI paper archive.