Comprehensive path-sensitive data-flow analysis.

Aditya V. Thakur, R. Govindarajan

Browse the full CGO paper archive.