Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
The Flow-Insensitive Precision of Andersen’s Analysis in Practice
SAS, 2011.
@inproceedings{SAS-2011-BlackshearCSS,
author = "Sam Blackshear and Bor-Yuh Evan Chang and Sriram Sankaranarayanan and Manu Sridharan",
booktitle = "{Proceedings of the 18th International Static Analysis Symposium}",
doi = "10.1007/978-3-642-23702-7_9",
isbn = "978-3-642-23701-0",
pages = "60--76",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The Flow-Insensitive Precision of Andersen’s Analysis in Practice}",
volume = 6887,
year = 2011,
}
Tags: