@inproceedings{madsen2014sas, title = {{Sparse Dataflow Analysis with Pointers and Reachability}}, author = {Madsen, Magnus and M{\o}ller, Anders}, booktitle = {Static Analysis Symposium (SAS)}, year = {2014}, }