Sparse Dataflow Analysis with Pointers and Reachability.

Magnus Madsen, Anders Mller

Browse the full SAS paper archive.