Path-Sensitive Data Flow Analysis Simplified.

Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li

Browse the full ICFEM paper archive.