Dinakar Dhurjati, Manuvir Das, Yue Yang
Path-Sensitive Dataflow Analysis with Iterative Refinement
SAS, 2006.
@inproceedings{SAS-2006-DhurjatiDY, author = "Dinakar Dhurjati and Manuvir Das and Yue Yang", booktitle = "{Proceedings of the 13th International Static Analysis Symposium}", doi = "10.1007/11823230_27", isbn = "3-540-37756-5", pages = "425--442", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Path-Sensitive Dataflow Analysis with Iterative Refinement}", volume = 4134, year = 2006, }